Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

China-born Carina Hong, a 24-year-old Stanford dropout, has drawn an elite group of AI researchers and a world-renowned mathematician to Axiom Math, her startup building an AI mathematician. Hong’s ...

Investors usually fund startups based on metrics involving revenue, profits or product usage. But investors backing newer AI ...

One of the first in her family to receive higher education, Carina Hong, 24, excelled academically before leaving her Stanford PhD program to start Axiom Math, an AI math startup attracting top talent ...

Print Join the Discussion View in the ACM Digital Library The mathematical reasoning performed by LLMs is fundamentally different from the rule-based symbolic methods in traditional formal reasoning.