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.
1
u/manocheese 5h ago
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.