AI 什么时候才算能用？3 亿估值团队给出两个字：“验收”

Core Insights - Axiom Math, founded by 24-year-old Carina Hong, aims to develop an "AI mathematician" capable of independently verifying logical correctness, addressing the trust issues associated with AI outputs [1][4] - The company secured $64 million in seed funding in October 2025, achieving a valuation of $300 million, with a team comprising top talents from Meta and Google [1][4][7] - Axiom's approach focuses on proving the correctness of AI-generated results rather than merely showcasing capabilities, marking a shift in the AI landscape [4][41] Company Overview - Axiom Math is headquartered in San Francisco and was founded in 2025 by Carina Hong, who has an impressive academic background, including studies at MIT and Stanford [1][9][10] - The company has attracted a highly skilled team, including former researchers from Meta and Google, as well as renowned mathematicians like Ken Ono [25][29] Technology and Methodology - Axiom Math utilizes the Lean programming language to ensure that every step of the AI's reasoning process is traceable and verifiable, addressing the challenge of AI's inability to confirm its own outputs [21][24] - The AI system, named Axiom, is designed not only to provide answers but also to validate them, which is crucial for applications in fields requiring high reliability [24][40] Achievements and Testing - In December 2025, Axiom's AI successfully solved 9 problems in the challenging Putnam mathematics competition, providing formal proofs that passed verification [23] - The focus is on creating an AI that can explore mathematical boundaries, not just solve problems, with the goal of redefining how AI interacts with mathematics [33][40] Vision and Future Goals - Axiom Math aims to establish a new standard for AI, where every formula is verifiable and every reasoning process is traceable, transforming AI from a tool into a trusted collaborator [31][41] - The long-term vision includes training AI to discover new mathematical problems and solutions, potentially accelerating advancements in various fields reliant on precise mathematical principles [39][40]