beep@piefed.world to Technology@lemmy.worldEnglish · 1 day agoMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square42fedilinkarrow-up154file-text
arrow-up154external-linkMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgbeep@piefed.world to Technology@lemmy.worldEnglish · 1 day agomessage-square42fedilinkfile-text
cross-posted from: https://piefed.world/c/tech/p/1309816/mathematicians-are-grappling-with-the-possibility-that-ai-might-eclipse-them
minus-squareParlimentOfDoom@piefed.ziplinkfedilinkEnglisharrow-up2·19 hours agoYou’re right. The first is way harder and requires being able to do the second. Which it can’t.
minus-squarevillage604@adultswim.fanlinkfedilinkEnglisharrow-up2·edit-217 hours agoExcept 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.
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.