Axiom Math, a Palo Alto-based startup, claims its AI system, AxiomProver, has solved multiple unsolved mathematical problems, including significant conjectures in algebraic geometry and Fel's Conjecture. Founded by Carina Hong, the company asserts that its AI-generated proofs, posted on arXiv in February 2026, are undergoing peer review, though no journal publications have been confirmed yet. The system uses formal verification to ensure logical validity, distinguishing it from typical AI outputs. Axiom Math has raised $264 million in funding, with a recent $200 million Series A round led by Menlo Ventures, valuing the company at $1.6 billion. The startup's team includes Ken Ono, a renowned number theorist. The company's efforts align with broader trends in AI-driven mathematical research, as seen with initiatives like Google's DeepMind AlphaProof.