Axiom(@axiommathai):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! 💯

Axiom

@axiommathai

The Starting Point for Reasoning

Joined September 2025

45 Following 16.2K Followers

Axiom@axiommathai

2026.05.12 23:08

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! 💯