Math formalization time drops from years to hours
ChrSzegedy · x · 2026-08-29
The pace of formalization is accelerating rapidly. While milestones like perfectoid spaces, liquid tensor experiment, and PFR took years, months, and weeks respectively, recent efforts have dropped to hours. Notably, Boris Alexeev at OpenAI has formalized the existence of a complex structure on S^6.
More from AGI Musings
- Author beats experts in forecasting FrontierMath accuracy — peterwildeford · 2026-08-29
- AI Safety Debate: Guard Against Billions-Dollar Disasters Before "Lights Out" — JoshPurtell · 2026-08-29
- Are Billion-Dollar AI Crises More Likely Than Human Extinction? — JoshPurtell · 2026-08-29
- AI's Real Appeal: Creating the Illusion of Competence — overthestatus · 2026-08-29
- "Lights Out for Humanity" Is Too High a Bar for AI Risk Arguments — JoshPurtell · 2026-08-29
- Creator Stops Making AI Art Finding It Depressing — moultano · 2026-08-29