Axiom
@axiommathai
The Starting Point for Reasoning
Joined September 2025
27 Following 13.6K Followers
This morning at SAIR Science x AI Summit, @CarinaLHong spoke alongside Nobel Laureate Barry Barish, Fields Medalists @wtgowers, Terrence Tao, and @leanprover Founder @leodemoura on Frontiers of AI for Math.
Tune in at 2h34m30s for AxiomProver's results in its first 100 days! 💯
Show more
Science x AI Summit 2026 (Palo Alto) is LIVE NOW!
Watch live on X:
