Dieser Bereich kann Inhalte enthalten, die nicht für alle Nutzer geeignet sind. Dazu können unter anderem Texte, Medien oder Diskussionen gehören, die als beleidigend, extremistisch, gewaltbezogen oder anderweitig belastend empfunden werden. Wenn du solche Inhalte nicht sehen möchtest, nutze bitte die jeweiligen Filter- und Meldeoptionen der Plattform oder meide entsprechende Threads/Communities.
Finding a proof is different than solving a math problem.
You’re right. The first is way harder and requires being able to do the second. Which it can’t.
Except this article is literally about the response to AI doing it multiple times.
https://arstechnica.com/ai/2026/06/openais-math-breakthrough-played-to-ais-strengths/
https://www.smithsonianmag.com/smart-news/ai-disproves-a-decades-old-mathematical-idea-the-biggest-conjecture-that-the-tech-has-played-a-role-in-yet-180989189/
https://patmcguinness.substack.com/p/openais-astra-tackles-mathematical
The whole, “LLMs can’t do basic math,” thing is outdated.
How so? Particularly in intuitionist logic it would seem to me that they are the same thing.