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:
