Scott Aaronson: OpenAI solved 370 math problems, including his 20-year-old open problem
burny_tech · x · 2026-10-20
- Scott Aaronson says he's never seen anything like this in mathematics: researchers worldwide are dropping their work to study solutions OpenAI dumped onto GitHub a week ago.
- OpenAI announced solutions to 370 problems, including the unitary synthesis problem Aaronson posed with Greg Kuperberg 20 years ago. Columbia University held a workshop just yesterday to parse the proof.
Related event: OpenAI's 370 Math Proofs Send the Mathematics World into Turmoil(3 posts)→
More from Research
- Laude Institute backs WaggleHaus, an open-source query engine for agentic queries over data lakes — lateinteraction · 2026-10-21
- UC Berkeley open-sources SkyDiscover, an AI framework that discovers algorithms — CShorten30 · 2026-10-21
- Another exoplanet candidate found — and a post-mortem on why it was missed — IgorCarron · 2026-10-21
- AI agents with $10,000 budgets still fail open-ended research: GPT-6 Astra and Fable 5.1 papers rejected — sayashk · 2026-10-21
- Stanford team launches ScholarCatalyst, a benchmark for literature retrieval that inspires research — lateinteraction · 2026-10-21
- Simple symmetric Venn diagrams with 17, 19 and 23 curves found via AI-assisted search, verified in Lean 4 — pickover · 2026-10-21