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

加入 September 2025

27 正在關注 13.6K 粉絲

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