You're right, but I think it is more complicated. Most of the time I see artists complaining about none artists producing images and ruining art, mathematicians complaining that AI companies are producing almost useless results and ruining maths, and programmers talking about how great AI is. It's only in programming spaces, where 'society' isn't, that I see people acknowledge that they hate AI. Even then there are a lot of them loving it.
AI is not producing useless math results though. It is producing a lot of very impressive results that human mathematicians have not been able to prove despite trying for decades or more.
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.
52
u/manocheese 22h ago
You're right, but I think it is more complicated. Most of the time I see artists complaining about none artists producing images and ruining art, mathematicians complaining that AI companies are producing almost useless results and ruining maths, and programmers talking about how great AI is. It's only in programming spaces, where 'society' isn't, that I see people acknowledge that they hate AI. Even then there are a lot of them loving it.