/Tech12h ago

Axiom Math AI raises $200 million for Lean-native models, showcasing a sub-million-parameter model with 100% verification accuracy

Frontier large language models score 0% on these tasks.

6201667.5K

Original post

LIVE in ~15 min: @CarinaLHong of @axiommathai

With a $200M round led by @menloventures, her AI works natively Lean, and a sub-million-parameter model scores 100% where frontier LLMs score 0%

Is "Verified AI" the path to safe superintelligence?

AI:AM is LIVE again – 12pm ET / 9am PT

Today's lineup: → @CarinaLHong of @axiommathai · 9:30a PT → Doni Bloomfield @FordhamLawNYC · 10a PT → Sam Pasupalak of @SkyfallAI · 10:30a PT

Hosted by @labenz + @8teAPi 👇

https://x.com/i/broadcasts/1qKDzzwmMbLJV

9:15 AM · Jun 17, 2026 · 223 Views

Sentiment

Sentiment building, check back later.

Cluster Engagement

Digg Deeper

No Digg Deeper questions have been answered for this story yet.

Related links

TWITTER.COMVia

Posts from X

Most Activity

Follow @AI_in_the_AM for the daily rundown!

Full video: https://briefing.ai-in-the-am.com/p/ai-am-math-biosecurity-and-world-models-june-17-2026

5h379

LIKES1

Follow @AI_in_the_AM for the daily rundown!

Full video: https://briefing.ai-in-the-am.com/p/ai-am-math-biosecurity-and-world-models-june-17-2026

5h1121

Follow @AI_in_the_AM for the daily rundown!

Full video: https://briefing.ai-in-the-am.com/p/ai-am-math-biosecurity-and-world-models-june-17-2026

5h374

@CarinaLHong Follow @AI_in_the_AM for the daily rundown!

Full video: https://briefing.ai-in-the-am.com/p/ai-am-math-biosecurity-and-world-models-june-17-2026

5h134