OpenAI's 370 Math Proofs Send the Mathematics World into Turmoil
After OpenAI released 370 math proofs on GitHub, Scott Aaronson said graduate students are terrified and mathematicians worldwide have paused their work to digest the results, while MIT students and researchers describe an existential crisis over the point of studying math.
2026-10-18 ~ 2026-10-20 · 3 related posts
- Episode 1: 3Blue1Brown: There's Never Been a Better Time to Go Into Math(2026-10-17, 9 posts)
- Episode 2: Debate Erupts Over Whether AI-Proven Theorems Count as Progress(2026-10-17, 3 posts)
- Episode 3: OpenAI Claims Quasi-Riemann Hypothesis Proof and 700 AI Papers; Tao Calls It Biggest Advance in 50 Years(2026-10-17, 6 posts)
- Episode 4: OpenAI's 370 Math Proofs Send the Mathematics World into Turmoil(2026-10-18, 3 posts)
- Episode 5: OpenAI's 8-page proof of no Landau-Siegel zeros shrinks to 5(2026-10-19, 3 posts)
- Episode 6: 3Blue1Brown: There's Never Been a Better Time to Go Into Math(2026-10-19, 10 posts)
- Scott Aaronson: Grad students are scared after OpenAI's 370 math proofs — rohanpaul_ai · 2026-10-18
- OpenAI's math proofs leave MIT students reeling, and mathematicians joke about it — tdhopper · 2026-10-19
- Scott Aaronson: OpenAI solved 370 math problems, including his 20-year-old open problem — burny_tech · 2026-10-20