{"id":199449,"date":"2025-10-03T12:22:14","date_gmt":"2025-10-03T12:22:14","guid":{"rendered":"https:\/\/www.newsbeep.com\/us\/199449\/"},"modified":"2025-10-03T12:22:14","modified_gmt":"2025-10-03T12:22:14","slug":"female-founder-secures-64m-to-teach-ai-the-language-of-mathematics-tfn","status":"publish","type":"post","link":"https:\/\/www.newsbeep.com\/us\/199449\/","title":{"rendered":"Female founder secures $64M to teach AI the language of mathematics \u2014 TFN"},"content":{"rendered":"

San Francisco-based AI startup Axiom Math has emerged from stealth with a $64 million seed funding round led by B Capital and participation from Greycroft<\/a>, Madrona Venture Group<\/a>, and Menlo Ventures<\/a>. The round values the company at approximately $300 million. <\/p>\n

With the fresh capital, Axiom plans to expand its engineering and research talent, enhance its reasoning engines, and test its system on benchmark problems in domains like cryptography, physics, and advanced algorithms.<\/p>\n

Building an \u201cAI mathematician\u201d<\/p>\n

Led by Carina Hong<\/a>, Axiom Math is developing an AI system that not only solves complex math problems but also generates new mathematical knowledge by proposing conjectures: mathematical statements that have yet to be proven. <\/p>\n

The model produces rigorous, step-by-step proofs that can be independently verified using proof assistants such as Lean and Coq. This approach aims to transform English-language math from textbooks and research papers into code, enabling the AI to create and validate new problems that push the boundaries of existing knowledge.<\/p>\n

Hong, a Stanford dropout with academic credentials from MIT and Oxford, has quickly assembled a team of accomplished AI and math experts, many from Meta\u2019s FAIR lab. Key members include Francois Charton<\/a>, known for solving a century-old math problem; Aram Markosyan<\/a>, an expert in AI safety and fairness; and Hugh Leather<\/a>, an early pioneer in deep learning for code generation. <\/p>\n

What\u2019s next?<\/p>\n

Researchers and investors alike find Axiom\u2019s goal persuasive and inspiring. The company\u2019s Palo Alto office features conference rooms named after iconic mathematicians like Carl Friedrich Gauss and Ada Lovelace, underscoring their passion for foundational scientific progress.<\/p>\n

Currently, Axiom is working on models that can discover and solve new math problems. The researchers also hope to apply their work in areas like finance, aircraft design, chip design, and quantitative trading.<\/p>\n

Beyond pure mathematics, Axiom\u2019s AI tool is being tested for practical applications in fields requiring rigorous computational precision, including finance, aircraft and chip design, and quantitative trading. \u201cSolving complex math problems has been core to many human inventions,\u201d said Yan-David Erlich, partner at B Capital. <\/p>\n

With its ambitious vision, deep expertise, and significant funding, Axiom Math is positioning itself to redefine what artificial intelligence can achieve in scientific discovery and industry innovation.<\/p>\n","protected":false},"excerpt":{"rendered":"San Francisco-based AI startup Axiom Math has emerged from stealth with a $64 million seed funding round led…\n","protected":false},"author":2,"featured_media":199450,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[182,4,450,65732,159,451,3,1166,452,453,25],"class_list":{"0":"post-199449","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-breaking-news","8":"tag-ai","9":"tag-breaking-news","10":"tag-breakingnews","11":"tag-female-led","12":"tag-funding","13":"tag-headlines","14":"tag-news","15":"tag-startups","16":"tag-top-stories","17":"tag-topstories","18":"tag-us"},"_links":{"self":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts\/199449","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/comments?post=199449"}],"version-history":[{"count":0,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts\/199449\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/media\/199450"}],"wp:attachment":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/media?parent=199449"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/categories?post=199449"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/tags?post=199449"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}