Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

A marriage of formal methods and LLMs seeks to harness the strengths of both.

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

We’re seeing some new developments in AI models that are shedding light on one of the technology’s most prominent gaps – its relative inability to do math well. Some experts note that AI is ...

Alan Veliz-Cuba has received funding from the Simons Foundation and the American Mathematical Society for some of his research. You can probably think of a time when you’ve used math to solve an ...

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

Join our daily and weekly newsletters for the latest updates and exclusive content on industry-leading AI coverage. Learn More Students and STEM researchers of the world, rejoice! Particularly if you ...