A new AI startup tells Axios that proofs created by its algorithms have now been published in several peer-reviewed academic journals. Why it matters: AI proponents have for years been saying that the ...

Axiom Math says its AxiomProver AI system has solved four long-standing math problems and achieved peer-reviewed publication, ...

Carina Hong said at Business Insider's The Long Play that some researchers prefer neolabs. Axiom Math is developing AI systems that solve complex math problems with reasoning. "We had really amazing ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

The founder of one of the fastest rising neolabs is sharing her perspective on the war over AI talent. Carina Hong, founder of the startup Axiom Math, which focuses on building an AI mathematician, ...

Carina Hong, a brilliant mathematician, has left formal studies to found Axiom Math. The company aims to build artificial intelligence capable of advanced mathematical reasoning. Hong has already ...