You don’t really need sources, we all know AI tends to hallucinate when presented with a problem they can’t solve.
So far I’ve only read about 1 example of a problem that an AI may have solved. All the rest are without details and are not confirmed in any way.
Remember AI companies are huge on propaganda for their technology, but not so big on admitting the shortcomings.
Edit:
Changed the use of the word evidence to sources, because apparently people misunderstood it.
This is not about the mathematical evidence, but the lack of evidence that AI has made mathematical breakthroughs.
The point here is there is rarely any evidence for the claims about AI amazing accomplishments.
The burden of proof is on the one with the claim that AI has made these accomplishments, not on the one being sceptic about it.
Articles with proofs have been published, both by AI companies as well as by mathematicians who disclosed the whole development of the proof was done autonomously by LLMs.
There is no evidence stated in the first article, and it’s paywalled.
The second article doesn’t show independent confirmation that the alleged proofs are real. Which was exactly what the original criticism was about.
Yes we all know the claims, and you have done nothing but parroting those claims without evidence.
Keep in mind that quite a number of those AI based “breakthroughs” in mathematics turned out to be wrong.
Interesting.
Got any sources for this claim?
LLM mathematical proof exploits theorem proover bugs [to get false statement to be “proven” true]
https://infosec.exchange/@0xabad1dea/117002106099986943
Oof.
You don’t really need sources, we all know AI tends to hallucinate when presented with a problem they can’t solve.
So far I’ve only read about 1 example of a problem that an AI may have solved. All the rest are without details and are not confirmed in any way.
Remember AI companies are huge on propaganda for their technology, but not so big on admitting the shortcomings.
Edit:
Changed the use of the word evidence to sources, because apparently people misunderstood it.
“you don’t really need evidence” we are talking about mathematics. The evidence is the point.
This is not about the mathematical evidence, but the lack of evidence that AI has made mathematical breakthroughs.
The point here is there is rarely any evidence for the claims about AI amazing accomplishments.
The burden of proof is on the one with the claim that AI has made these accomplishments, not on the one being sceptic about it.
Articles with proofs have been published, both by AI companies as well as by mathematicians who disclosed the whole development of the proof was done autonomously by LLMs.
Which is way more possible to link to. But you chose not to?
https://www.nature.com/articles/d41586-026-01553-1
https://e.vnexpress.net/news/news/education/fields-medalist-terence-tao-warns-ai-could-produce-more-math-proofs-than-humans-can-handle-5102580.html
There is no evidence stated in the first article, and it’s paywalled.
The second article doesn’t show independent confirmation that the alleged proofs are real. Which was exactly what the original criticism was about.
Yes we all know the claims, and you have done nothing but parroting those claims without evidence.
Not at hand, but there were a number of news items about this in the last few weeks.
deleted by creator