Axiom's agents reportedly surfaced 5,000+ errata in CFSG, all fixable
burny_tech · x · 2026-10-28
A follow-up on Axiom's Lean auto-formalization of the Classification of Finite Simple Groups: their agents reportedly found more than 5,000 errata in the process, though thankfully all were fixable — a notable detail in the machine-verification of the 15,000-page mathematical landmark.
More from Fun
- Blender screenshot with 3.7M triangles sparks AI-circle 'oh dear' moment — repligate · 2026-10-28
- Peter Yang flags '1-person companies' as suspicious, teasing an exposé — petergyang · 2026-10-28
- Pancake party chasing a Guinness World Record draws guests from OpenAI, Cursor, SpaceX — brandon_galang · 2026-10-28
- Jobs' scratched prototype forced Corning to ship never-before-made Gorilla Glass in under six months — SumitGup · 2026-10-28
- Dev motivates his agent with a heartfelt prompt: "i have full faith in you" — Promptmethus · 2026-10-28
- Dev 'motivates' AI agent with ice cream reward, and the meme lands — DanielLockyer · 2026-10-28