Axiom (@axiommathai) / X

Pinned

1/ Since February, 8 papers across algebraic geometry, representation theory, number theory, combinatorics have been quietly appearing on arXiv. Proofs by AxiomProver. 5 papers are now accepted at solid peer-reviewed math journals. To our knowledge, a first for the literature.

129K

I am proud to announce TheoremGraph! Paper: arxiv.org/abs/2606.25363 Webpage: theoremsearch.com/theorem-graph Stellar explainer video by @waskaja: youtube.com/watch?v=H2z3VR… (must watch!!!)

arxiv.org

TheoremGraph: Bridging Formal and Informal Mathematics

Mathematical knowledge is organized around statements and their dependencies, but this structure is exposed unevenly: informal papers cite mostly at the document level, while formal libraries...

Team Axiom! With summer interns in the house!

New speaker: Shubho Sengupta @shubho, CTO of @axiommathai, joins #AGIPlayground 2026. 8 years at Meta FAIR. Built some of the earliest standard GPU libraries. Co-authored DeepSpeech. Now every reasoning step in his system comes with a mathematical proof attached. It scored 12/12

00:00

Met my hero today! @3blue1brown Peak “Sid in high school” was one of my tweets featuring in a lockdown math video (back then, Yoda, my profile picture was, mmm). It was awesome to hear about some of the things Grant has planned for the next few months. Keep an eye out!

Ken Ono

@KenOno691

Jun 26

Thank you to Grant Sanderson for coming out to Axiom Math today to record an interview. It was a real privilege to spend time talking math with someone whose work I admire so much. I'm really looking forward to our conversation on @3blue1brown!

Thank you to Grant Sanderson for coming out to Axiom Math today to record an interview. It was a real privilege to spend time talking math with someone whose work I admire so much. I'm really looking forward to our conversation on @3blue1brown!

Axiom

@axiommathai

Jun 26

Today at Axiom office: photo with Grant Sanderson @3blue1brown Also featuring: IMO Gold Medals, Putnam Fellows, 5 Math faculties, Mathlib core contributors, PhD students of Terry Tao, Surgey Gukov, Kannan Soundararajan, and chess champions including Stockfish core contributor!

Today at Axiom office: photo with Grant Sanderson @3blue1brown Also featuring: IMO Gold Medals, Putnam Fellows, 5 Math faculties, Mathlib core contributors, PhD students of Terry Tao, Surgey Gukov, Kannan Soundararajan, and chess champions including Stockfish core contributor!

CTO @shubho will be speaking at the RAISE Summit on how it’s like to build an AI-native startup. Tune in & see you in Paris this July!

Sapphire Ventures

@SapphireVC

Jun 25

How do you build an AI architecture that does the work your team used to do, like catching failures & enforcing guardrails, while knowing when to loop a human back in? @cgao will be moderating a panel on exactly this topic at @RaiseSummit in Paris on July 8 with: 🎤 Eleonore

If you're at ICML in Seoul and care about math, reasoning, and verification, come grab drinks with us: 📅July 7 | ⏰8pm | 🌃People the Terrace @axiommathai + @e14fund RSVP: luma.com/rmev9nn6?utm_s… (Also hosting a private dinner w handful of seats. DM @Amanda__Hecker for info!)

Math x MIT: ICML After-Dinner Drinks with E14 Fund, Axiom & Hico · Luma

Whirlwind 36h in Seoul!🇰🇷 Speaking tomorrow AM on analytic number theory & PM public lecture on AI for math (will be recorded!🎤). Honored to be alongside Fields Medalists Martin Hairer & June E Huh in the lineup. @axiommathai @leanprover

"the very first, very promising signs" Carina Hong, founder and CEO of Axiom Math, says her team is seeing early proof that AI can invent new conjectures and bootstrap its own training loop. "we have major results on conjecturing" "the very first, very promising signs of have

00:00

"verified knowledge discovery" Carina Hong, founder and CEO of Axiom Math, defines mathematical superintelligence as discovery plus trust, then extends that loop into software and hardware verification. "The definition, I think, of a superintelligent reasoner is something that