Loading activity…
@ithinkimrishi
RL @axiommathai | Prev @Apple | CS @Cornell
Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.
Axiom Math researchers announce a human-AI result that lowers the bound on prime gaps to 212.
