beep@piefed.world to Technology@lemmy.worldEnglish · 25 天前Mathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square46fedilinkarrow-up160arrow-down126file-text
arrow-up134arrow-down1external-linkMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgbeep@piefed.world to Technology@lemmy.worldEnglish · 25 天前message-square46fedilinkfile-text
cross-posted from: https://piefed.world/c/tech/p/1309816/mathematicians-are-grappling-with-the-possibility-that-ai-might-eclipse-them
minus-squarevillage604@adultswim.fanlinkfedilinkEnglisharrow-up6arrow-down1·24 天前Finding a proof is different than solving a math problem.
minus-squareParlimentOfDoom@piefed.ziplinkfedilinkEnglisharrow-up3arrow-down1·24 天前You’re right. The first is way harder and requires being able to do the second. Which it can’t.
minus-squarevillage604@adultswim.fanlinkfedilinkEnglisharrow-up2arrow-down1·edit-224 天前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.
minus-square8baanknexer@lemmy.worldlinkfedilinkEnglisharrow-up1·24 天前How so? Particularly in intuitionist logic it would seem to me that they are the same thing.
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.