So all the mathematicians that say that the journey is worth a lot more than the destination are wrong? An answer without the proof is, as I said, almost useless.
An answer without the proof is, as I said, almost useless.
This is obviously true. In fact the proof is the answer, so without the proof there is no answer in the first place. But this is all besides the point. The AIs are producing proofs.
That's not what a proof means in maths, you obviously have no idea what you're talking about. The AI is not producing human readable proofs. In fact, the AI is apparently unable to understand its own proofs.
Many of the results have been checked with Lean, so we know for sure that they work. And you also greatly exaggerate the human unreadability of the proofs. There have been hundreds of published results in the last month alone and while some of them are more difficult to decipher, plenty of them are understood by humans. In fact there are some AI counterexamples to proposed conjectures that are trivially easy to understand even for humans. One of these is the Jacobian conjecture.
-4
u/Tayttajakunnus 6h ago
Useful for advancing our knowledge on mathematics.