AAxiom Math creates an AI system that acts as a math-focused solver and prover. It trains a large language model specifically to handle very hard mathematical problems and to produce detailed, verifiable proofs for every reasoning step. The model is designed to ingest math textbooks, journals, and papers so it can both solve existing problems and generate new ones with human-checked solutions, accessible via an API for enterprise use. The company differentiates itself by prioritizing formal proofs and mathematical reasoning, not just text-based answers, and by building a team with researchers from major AI labs. Its current goal is to apply this proof-powered reasoning to fields like quantitative finance and engineering, enabling hedge funds and other enterprises to validate complex models and develop new algorithms with verifiable results.
Work here?Claim your company
Industries
Company Size
51-200
Company Stage
Series A
Total Funding
$264M
Headquarters
Palo Alto, California
Founded
2025
See people who can refer or advise you
Help us improve and share your feedback! Did you find this helpful?
Total Funding
$264M
Above
Industry Average
Funded Over
2 Rounds
Industry standards
AI verifies a landmark result on gaps between prime numbers. 2026-08-19 An artificial intelligence system has produced a fully machine-checked formal proof of the strongest known bound showing that pairs of primes stay close infinitely often. Axiom Math announced that its artificial intelligence (AI) system called AxiomProver has completed a machine-checkable formalization of the BGP246 theorem. Formalization means converting a mathematical argument into a precise form that a computer can examine step by step to confirm every detail is correct. The BGP246 theorem states that there are infinitely many pairs of prime numbers that differ by at most 246. This is the closest proven bound to the twin prime conjecture, which is the still-unproven claim that infinitely many pairs of primes differ by exactly two. The announcement thread on X note that in 2013 Yitang Zhang first showed infinitely many primes lie within 70 million of each other. James Maynard later reduced the gap to 600. A large collaboration then brought the gap down to 246, a record that has stood for twelve years. AxiomProver has now verified this result in the computer language Lean, conditional on an established result known as the Bombieri-Vinogradov theorem. Axiom Math has released reusable components as an open library so others can inspect and build on it. Background on the mathematical result. The article published on IEEE Spectrum mentioned in the announcement explains that this formalization marks a notable step in AI-assisted mathematics. The article describes how the 246 theorem sits at the current limit of what is known about close pairs of primes. It recounts the same history of successive improvements and notes that AxiomProver produced the Lean proofs based on existing mathematical libraries. Axiom Math's founding mathematician is quoted saying the theorem represents the threshold of human knowledge about prime numbers. The article points out that the techniques involved in number theory also underpin modern cryptography and data security. It further observes that reliable formal verification of mathematical statements may eventually help check the correctness of computer code generated by artificial intelligence systems, reducing risks from errors. Taken together, the announcement and the reporting show that AI systems are becoming capable of handling substantial formal proofs in advanced mathematics. This progress indicates that AI-assisted mathematics is advancing fast. #AIApplications #AIInMathematics Before posting or replying to a comment, please review it carefully to avoid any errors. Reason: you are not able to edit or delete your comment on Mindplex, because every interaction is tied to its reputation system. Thanks!
Axiom Math, an AI startup valued at $1.6 billion, has discovered a critical gap in Robert Aumann's foundational 1976 economics theorem that has been taught and cited for nearly 50 years. The finding emerged whilst building EconLib, a formal verification library for economic theory. The company, founded by mathematician Carina Hong and backed by $200 million in funding led by Menlo Ventures, uses Lean programming language to verify mathematical proofs with complete logical rigour. When applied to Aumann's common knowledge theorem—which underpins information economics and US antitrust merger guidelines—the system identified an unproven assumption. Harvard economist Scott Kominers is co-leading EconLib, which aims to create a machine-verifiable library of economic results. The project could have significant implications for antitrust law, where merger decisions have relied on theorems never formally examined.
Axiom Math's Carina Hong weighs in on the AI talent wars and the advantage of working at a neolab. 15.04.2026 * 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 talents coming from Big Tech. They are industry veterans," said Hong. 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, told Business Insider's Ben Bergman that some researchers see advantages in working for neolabs rather than larger tech companies at Business Insider's The Long Play on Tuesday. "We had really amazing talents coming from Big Tech. They are industry veterans," said Hong. "They are a bit tired of the PSC culture or all the politics at big shops, and they just want to work at a place where they feel like it's not sort of like job security because it is a startup - there's no job insecurity - but more like security for the research direction." (PSC refers to the rigorous biannual performance review process at companies like Meta, where employees are evaluated by their peers and managers.) "When you're in a big lab and your research direction changes on like a monthly, if not weekly basis, that's actually another sort of security they are pursuing," Hong added. "You want to work at a place where you know that what you're working on still has impact in like two months." AI-focused companies, from startups like OpenAI to Big Tech companies like Meta, are offering massive paydays to AI talent. Axiom Math is developing advanced AI systems that can not only solve complex math problems but also generate step-by-step proofs and verify their own reasoning, Hong said. She told Bergman that the broader goal is to use mathematical reasoning as a foundation for more powerful AI, potentially enabling applications in areas like software verification, finance, and cryptography. Axiom Math is only about a year old and is part of a new class of startups known as "neolabs," gaining traction across the AI sector, particularly in hubs like San Francisco. These companies are typically small, fast-moving teams building AI-native products from day one, often with fewer employees, mixed-use office spaces, and significantly lower operating costs than traditional startups. As of March 2026, Axiom Math is valued at $1.6 billion.
Axiom Math's carina Hong weighs in on the AI talent wars and the advantage of working at a neolab. Apr 14, 2026, 9:00 PM PT 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, told Business Insider's Ben Bergman that some researchers see advantages in working for neolabs rather than larger tech companies at Business Insider's The Long Play on Tuesday. "We had really amazing talents coming from Big Tech. They are industry veterans," said Hong. "They are a bit tired of the PSC culture or all the politics at big shops, and they just want to work at a place where they feel like it's not sort of like job security because it is a startup - there's no job insecurity - but more like security for the research direction." (PSC refers to the rigorous biannual performance review process at companies like Meta, where employees are evaluated by their peers and managers.) "When you're in a big lab and your research direction changes on like a monthly, if not weekly basis, that's actually another sort of security they are pursuing," Hong added. "You want to work at a place where you know that what you're working on still has impact in like two months." AI-focused companies, from startups like OpenAI to Big Tech companies like Meta, are offering massive paydays to AI talent. Axiom Math is developing advanced AI systems that can not only solve complex math problems but also generate step-by-step proofs and verify their own reasoning, Hong said. She told Bergman that the broader goal is to use mathematical reasoning as a foundation for more powerful AI, potentially enabling applications in areas like software verification, finance, and cryptography. Axiom Math is only about a year old and is part of a new class of startups known as "neolabs," gaining traction across the AI sector, particularly in hubs like San Francisco. These companies are typically small, fast-moving teams building AI-native products from day one, often with fewer employees, mixed-use office spaces, and significantly lower operating costs than traditional startups. As of March 2026, Axiom Math is valued at $1.6 billion.
SES AI, a Massachusetts-based battery company, is pivoting from developing advanced lithium batteries to AI materials discovery, according to CEO Hu. Axiom Math, a California startup, has released a free AI tool designed to discover mathematical patterns that could solve long-standing problems. Unlike most AI tools that find solutions to existing problems, Axiom Math aims to spot previously unidentified patterns and hidden links that could generate entirely new mathematical ideas. Meanwhile, escalating conflict in Iran has caused fossil-fuel price volatility, which some electric vehicle owners view as an opportunity for EV adoption. However, sustained rises in fossil-fuel prices could have broader economic concerns beyond the automotive sector.
Find jobs on Simplify and start your career today
Industries
Company Size
51-200
Company Stage
Series A
Total Funding
$264M
Headquarters
Palo Alto, California
Founded
2025
Find jobs on Simplify and start your career today