CFSG Math Proof Computer-Verified & AI Reducing Employment — Science/Tech Signals
Two significant science/tech signals: The Classification of Finite Simple Groups (~15,000 pages of math) has been formally verified by computer for the first time; separately, early empirical data may be emerging that AI is reducing employment.
What we know
Mathematician and Fields Medalist Timothy Gowers an account on X called Axiom's Lean auto-formalization of the CFSG — the largest proof in mathematical history, spanning ~15,000 pages built by 100+ mathematicians — 'great news,' even if 'the formalization itself is horrible.' Separately, another account on X flagged what may be the first significant empirical data showing AI is reducing employment, noting economists are watching closely. China's government has already published a policy paper on monitoring AI employment risks.
By the Global Eye 24 desk, with AI assistance. Updated as the story develops. Spot an error? Write to corrections@globaleye24.com.