Common sense says that “yes we are closer to solving something” because, as time goes by more and more “machinery” is being developed that may become part of the solution to one or more of those problems. Which problem I do not know. And exactly what machinery is another unknown.
If you think about Fermat’s Last Theorem, the solution that Andrew Wiles eventually produced could not have been done by Fermat for the simple reason that much of the machinery used in the proof hadn’t been developed in Fermat’s day.
Very good video! Do you ever think AI will create a new form of geometry? New discoveries we haven’t made yet?
Nice video! That's a really nice use case of AI + logic.
Common sense says that “yes we are closer to solving something” because, as time goes by more and more “machinery” is being developed that may become part of the solution to one or more of those problems. Which problem I do not know. And exactly what machinery is another unknown.
If you think about Fermat’s Last Theorem, the solution that Andrew Wiles eventually produced could not have been done by Fermat for the simple reason that much of the machinery used in the proof hadn’t been developed in Fermat’s day.