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:
