Axiom (@axiommathai) / X

Axiom

371 posts

Axiom

@axiommathai

The Starting Point for Reasoning

axiommath.ai

Joined September 2025

Pinned
Axiom
@axiommathai
May 27
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.
125K
Axiom reposted
Carina Hong
@CarinaLHong
16h
A spicy podcast. In the movie The Man Who Knew Infinity, Ramanujan became a much stronger mathematician after the Hardy made him write proofs. Verification is for better generation, for optimal design. Verified AI accelerates superintelligence, esp agentic superintelligence.
Axiom
@axiommathai
16h
This past March, @CarinaLHong sat down with @latentspacepod for an episode on the Series A announcement. "Verified AI sounds like eating broccoli and paying taxes, but to Axiom it's about scaling brilliance, compounding brilliance." Agentic superintelligence needs Verified AI.
00:00
9.6K
Axiom
@axiommathai
16h
Replying to @axiommathai
And read Latent Space's excellent newsletter:
🔬Scaling Past Informal AI - Carina Hong, Axiom Math
From latent.space
861
Axiom
@axiommathai
16h
Replying to @axiommathai
Watch the full episode here:
1.7K
Axiom
@axiommathai
16h
This past March, @CarinaLHong sat down with @latentspacepod for an episode on the Series A announcement. "Verified AI sounds like eating broccoli and paying taxes, but to Axiom it's about scaling brilliance, compounding brilliance." Agentic superintelligence needs Verified AI.
00:00
15K
Axiom reposted
Turing Post
@TheTuringPost
Jun 9
.@axiommathai has pushed formal verification beyond pure math into economics. → It announced EconLib, a Lean-based library for economic theory ▪️ The project starts with a formalization of Robert Aumann’s famous "agreeing to disagree" theorem. But AxiomProver didn't just
4.7K
Axiom
@axiommathai
Jun 5
Proud to see @KenOno691 speaking at the annual conference of SIAM, one of the three major mathematical societies in the US!
SIAM
@TheSIAMNews
Jun 5
How is AI reshaping mathematics? At #SIAMAN26, invited speaker @KenOno691 (@axiommathai & @UVA) will explore how tools like LLMs and proof assistants are changing discovery, verification, & the future of proof. View the abstract & join us in Cleveland: meetings.siam.org/sess/dsp_progr…
3.5K
Axiom reposted
Latent.Space
@latentspacepod
Jun 3
🆕Scaling Past Informal AI latent.space/p/axiom @axiommathai founder & CEO @CarinaLHong explains why math may be the missing path from code agents to AGI, why verified AI is about scaling brilliance not just fixing hallucinations, how Lean and formal proofs turn reasoning
🔬Scaling Past Informal AI - Carina Hong, Axiom Math
From latent.space
13K
Axiom
@axiommathai
Jun 2
Replying to @axiommathai
Paper: papers.ssrn.com/sol3/papers.cf… Code: github.com/AxiomMath/Agre…
1.8K
Axiom
@axiommathai
Jun 2
Replying to @axiommathai
We believe math underlies every quantitative field -physics, computer science, economics - so we don't stop at math. Through theorem proving and autoformalization, AxiomProver reaches them all. This is EconLib, what's next?
2K
Axiom
@axiommathai
Jun 2
Replying to @axiommathai
Indeed, this is the value of a library like EconLib. Once the theory's infrastructure is formalized - definitions, hypotheses, etc - corollaries can be deduced effortlessly. Building on top of Aumann's, AxiomProver also proved the Monderer–Samet p-belief version (1989) in Lean.
2.4K
Axiom
@axiommathai
Jun 2
Replying to @axiommathai
Our work shows how AxiomProver can not only verify proofs but also delineate which assumptions give each step of the mathematical logic. Via Lean formalization, we get clarity on the underlying structure. Bring the ancient theory to a new level of rigor. We can then extend it.
1.5K
Axiom
@axiommathai
Jun 2
Replying to @axiommathai
EconLib aims to be a fundamental library like Mathlib, covering game theory, Nash equilibria, auction theory, information economics. Aumann's work is just the start -- the foundation to no-trade theorems in finance, logic of prediction markets, game theory with incomplete info.
4.5K