OpenAI's math proofs leave MIT students reeling, and mathematicians joke about it
tdhopper · x · 2026-10-19
A Boston Globe piece reports OpenAI's math proofs have thrown MIT students and researchers into chaos about the point of studying math. joelgrus quipped he misses the old-fashioned way of having "no future as a mathematician" existential crises — a wry take on AI's shake-up of the math profession.
Related event: OpenAI's 370 Math Proofs Send the Mathematics World into Turmoil(3 posts)→
More from AGI Musings
- Multi-agent swarm architectures are being discovered, not designed — shared state emerges as the norm — JensHonack · 2026-10-21
- a16z talks health AI with OpenAI's Karan Singhal: 300M people weekly ask ChatGPT health questions — a16z · 2026-10-21
- Gartner unveils Top 10 Strategic Technology Trends for 2027 as AI talk shifts to governance — brucemacv · 2026-10-21
- 'Training your own models is an incredibly stupid idea' — why RAG beats fine-tuning pitches — rseroter · 2026-10-21
- HeyGen Founder Joshua Xu: Agents Should Explain with Video, Not Text Reports — toolstelegraph · 2026-10-21
- Rachel Thomas: LLMs flood the brain with new concepts, blocking long-term memory — math_rachel · 2026-10-21