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