ENTITY
AxiomProver
AxiomProver
PulseAugur coverage of AxiomProver — every cluster mentioning AxiomProver across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
AI verifies complex prime number theorem, paving way for code verification
Axiom Math has successfully used its AI system, AxiomProver, to verify the proof of the "246 theorem," a significant advancement in number theory related to prime numbers. This marks a milestone in AI-assisted mathemati…
-
Axiom Math's AI-generated math papers accepted; raises $200M
Axiom Math, a startup founded by 2001-born mathematician Hong Letong, has achieved a significant milestone with five of its AI-generated mathematical papers accepted for publication in academic journals. The company's A…