Axiom

AI

Scientific American reports the knot connection; Axiom says AxiomProver helped prove the Huang-Jiang-Oblomkov conjecture.

3201234567890123456789

CH

PS

AX

5 Sources, 11d ago, updated 11d ago

AI

Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.

287012345678901234567890123456789

CS

SB

GI

240 Sources, 8d ago, updated 8d ago

AI

Axiom says Jovanović previously worked as a senior applied scientist at AWS's Automated Reasoning Group.

1501234567890123456789

CH

DJ

AX

3 Sources, 32d ago, first seen 32d ago

AI

@axiommathai says AxiomProver continues to outperform its previous results after reaching No. 1 on the LeanEval leaderboard.

3001234567890123456789

CH

AX

2 Sources, 54d ago, first seen 54d ago

AI

Carina Hong shares the AI math startup's question with her followers.

5701234567890123456789

CH

AX

2 Sources, 67d ago, first seen 67d ago

AI

Axiom Math's AI system produced a Lean formalization of the prime gap bound.

175012345678901234567890123456789

IS

CH

PS

14 Sources, 84d ago, first seen 84d ago