Skip to main content
Trending storyContinuously updated

Axiom Math says AI agents formally verified the Stacks Project

1 reports1 report sources6 hours agoUpdate

Get up to speed on this story

AI Summary

Axiom Math, a startup valued at $1.6B, announced that AI agents have formally verified the Stacks Project, which the company describes as one of the largest bodies of mathematics ever written by humans. The announcement is the company's own claim; the report does not include independent confirmation of the verification or details on how it was checked. Formal verification means machine-checking proofs against a proof assistant, so the claim, if confirmed, would cover a large corpus of human-written mathematics rather than a single result.

AI-generated from reports · 5 hours agoUpdate

Latest updatesNov 6 00:16
Axiom Math formally verifies the Stacks Project with AI agents

Report timeline

Follow the reports to understand different sides of the story.

Nov 6
  1. TechCrunch Startups
    Axiom Math formally verifies the Stacks Project with AI agents

    Axiom Math, a $1.6B startup, announced it has formally verified the Stacks Project.

Trend for this story

Comparable range current
9
Comparable range peak
10Nov 6 01:00
Change in the last 24 hours
–

Trends only compare the same entities observed consistently and completely, so the scope may be smaller than the current trending statistics. Move the pointer or click the chart to view hourly trending; use the left and right arrow keys on a keyboard to switch.

Subscribe to the newsletters

Free, by email. No account needed. Pick one or both.

No spam. Unsubscribe anytime by emailing team@midu.si. Want alerts and full data? Sign up free (separate from the newsletter). Privacy.

Not investment advice. Midu summarizes public reports and SEC filings for information only. · Free API · Pricing