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

45 正在关注 16.2K 粉丝

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

显示更多