Axiom
@axiommathai
The Starting Point for Reasoning
参加 September 2025
27 フォロー中 13.6K ファン
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! 💯
もっと見る
Science x AI Summit 2026 (Palo Alto) is LIVE NOW!
Watch live on X:
