Skip to content
K = 0.731Subscribe

Axiom Math Says Its AI Agents Formally Verified the Stacks Project

1 reports 1 reporting sources Updated 2 hours ago

Understand the event

AI overview

Axiom Math says its agents formally verified the Stacks Project, an open-source mathematics reference founded by Johan de Jong in 2005. The company says they translated about 7,654 pages into roughly 16 million lines of Lean code, which a proof assistant checked line by line. Axiom says the verified results could give researchers a foundation for future work in algebraic geometry and support software built by AI agents.

Generated by AI from reports · Updated 1 hours ago

Latest development11/6 00:16 (UTC+8)
Axiom Math Formally Verifies the Stacks Project with AI AgentsTechCrunch · AI

Read next

More changes in today’s briefingOpenAI Releases Images 2.6 With SVG Export, GIFs, and Faster Generation

Report timeline

Follow the reports to explore different sides of the event.

11/6
  1. TechCrunch · AIPicks
    Axiom Math Formally Verifies the Stacks Project with AI Agents

    Axiom Math says it has formally verified the Stacks Project, an open-source mathematics reference started by Johan de Jong in 2005. The company’s agents translated roughly 7,654 pages into about 16 million lines of Lean code, checked line by line by a proof assistant. Axiom says the verified results give researchers a foundation for future work in algebraic geometry and could also support software built by AI agents.

Keep up with AI, one email a day

Model releases, price changes and compute developments, with original sources. Free, confirmed by email, and easy to unsubscribe. Read a past issue

Event heat trend

There is not enough continuous observation data to plot a trend yet.