OpenAI shared new math results from an internal model. AI just solved 90 of the 500 most important open problems in math.
https://openai.com/index/sharing-ai-progress-in-mathematics/

OpenAI shared new math results from an internal model. AI just solved 90 of the 500 most important open problems in math.
https://openai.com/index/sharing-ai-progress-in-mathematics/
The Functional Structure of Post-Compression Recovery in Low-Rank LLMs
Zishan Shao et al.
#arXiv #cs.AI #cs.IT #math.IT
Maurice Chiodo's Ethics in Mathematics course. Very timely.
https://arxiv.org/abs/2610.08209
The Mathocalypse https://lobste.rs/s/zlhyss #math #vibecoding
🚀 Huge upgrade to my Universal Calculator!
✨ Full PWA (install offline on iOS/Android)
📳 Haptic feedback & mechanical sounds
📐 Live 3D geometry wireframes
🪐 New Physics & Math Labs (Orbits, Taylor Series)
Try it live (no paywalls!):
www.codefreelance.net/apps/univers... #math #physic #calculus
How to Believe a Machine-Checked Proof (1997) https://lobste.rs/s/8nfjfc #pdf #math #formalmethods
"What’s missing is understanding, the currency that mathematicians trade in"
Is AI the End of Math As We Know It? | Quanta Magazine
https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/
#OpenAI just posted hundreds more results on major #math #problems
The new results are likely to expand AI #controversy roiling the #mathematics #community.
Read More: www.engadget.com/2279815/open...
#math problem from #doodling: the nonexistent triangle
#mathsky #iteachmath #maths #mathdoodles #mathart #maths
A limit can exist even when the function is undefined at that point. This Grade 12 guide explains why, with one-sided limits, a factoring example and a conjugate example. Save it for calculus revision.
Browse: links.matheaze.com/handoutlibrary #math
Yesterday we linked to a compendium of opinions on the future of math in the age of AI at Terry Tao's blog. Timothy Gowers was among the contributors of the compendium. 🧵1/2
#mathematics #math #artificialIntelligence #AI
Source: buff.ly/eoPuq66