News2026-10-28 14:00 UTC

Axiom Math Releases First Complete Computer‑Checked Proof of Classification of Finite Simple Groups

Using AI agents, Axiom Math produced a Lean proof assistant verification of the CFSG, generating about 43.1 million lines of code over 24 days.

More News

10-28 14:00 UTCGoogle Introduces Genie 4
10-28 14:00 UTCLiquid AI Launches LFM3 Models for On‑Device AI
10-28 14:00 UTCAI Chip Imports Explorer Maps Global AI Compute Arrivals
10-28 14:01 UTCCrypto Trading Horror Stories Contest Launched
10-28 13:49 UTCBank of Canada Hikes Interest Rate to 2.50%