<\/p>\n
The aim is to put the power of PatternBoost, which was used to crack a hard math puzzle known as the Tur\u00e1n four-cycles problem, in the hands of anyone who can install Axplorer on their own computer.<\/p>\n
Last year, the US Defense Advanced Research Projects Agency set up a new initiative called expMath\u2014short for Exponentiating Mathematics\u2014to encourage mathematicians to develop and use AI tools. Axiom sees itself as part of that drive.<\/p>\n
Breakthroughs in math have enormous knock-on effects across technology, says Charton. In particular, new math is crucial for advances in computer science, from building next-generation AI to improving internet security.<\/p>\n
Most of the successes with AI tools have involved finding solutions to existing problems. But finding solutions is not all that mathematicians do, says Axiom Math founder and CEO Carina Hong. Math is exploratory and experimental, she says.\u00a0<\/p>\n
MIT Technology Review <\/em>met with Charton and Hong last week for an exclusive video chat about their new tool and how AI in general could change mathematics.\u00a0<\/p>\n In the last few months, a number of mathematicians have used LLMs, such as OpenAI\u2019s GPT-5, to find solutions to unsolved problems, especially ones set by the 20th-century mathematician Paul Erd\u0151s, who left behind hundreds of puzzles when he died.<\/p>\n But Charton is dismissive of those successes. \u201cThere are tons of problems that are open because nobody looked at them, and it\u2019s easy to find a few gems you can solve,\u201d he says. He\u2019s set his sights on tougher challenges\u2014\u201cthe big problems that have been very, very well studied and famous people have worked on them.\u201d Last year, Axiom Math used another of its tools, called AxiomProver, to find solutions to four such problems in mathematics.\u00a0\u00a0\u00a0<\/p>\n<\/p><\/div>\n #startup #change #mathematicians #math<\/p>\n","protected":false},"excerpt":{"rendered":" The aim is to put the power of PatternBoost, which was used to crack a…<\/p>\n","protected":false},"author":1,"featured_media":4773,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[901,4716,4715,1725],"class_list":["post-4772","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-stories","tag-change","tag-math","tag-mathematicians","tag-startup"],"featured_image_urls":{"full":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI.jpg",1200,600,false],"thumbnail":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI-150x150.jpg",150,150,true],"medium":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI-300x150.jpg",300,150,true],"medium_large":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI-768x384.jpg",640,320,true],"large":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI-1024x512.jpg",640,320,true],"1536x1536":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI.jpg",1200,600,false],"2048x2048":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI.jpg",1200,600,false],"covernews-featured":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI-1024x512.jpg",1024,512,true],"covernews-medium":["https:\/\/news678.top\/wp-content\/uploads\/2026\/03\/260320_MathAI-540x340.jpg",540,340,true]},"author_info":{"display_name":"admin","author_link":"https:\/\/news678.top\/?author=1"},"category_info":"Stories<\/a>","tag_info":"Stories","comment_count":"0","_links":{"self":[{"href":"https:\/\/news678.top\/index.php?rest_route=\/wp\/v2\/posts\/4772","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/news678.top\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/news678.top\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/news678.top\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/news678.top\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=4772"}],"version-history":[{"count":0,"href":"https:\/\/news678.top\/index.php?rest_route=\/wp\/v2\/posts\/4772\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/news678.top\/index.php?rest_route=\/wp\/v2\/media\/4773"}],"wp:attachment":[{"href":"https:\/\/news678.top\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4772"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/news678.top\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=4772"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/news678.top\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=4772"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Math by chatbot<\/strong><\/h3>\n