Loading activity…
@f_charton
AI for mathematics and theoretical physics Tomorrow's problems on yesterday's machines Axiom - École nationale des ponts et chaussées
AI
Axiom Math researchers announce a human-AI result that lowers the bound on prime gaps to 212.