Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...
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 ...
On Friday, research organization Epoch AI released FrontierMath, a new mathematics benchmark that has been turning heads in the AI world because it contains hundreds of expert-level problems that ...
A team led by Sogang University's Professor Kim Jong-rak compared the math performance of 10 domestic and foreign AI models, ...
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 ...
Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...
As generative AI (GenAI) gains popularity across various fields, OpenAI, led by Sam Altman, has unveiled a new 'reasoning' model. This model has been trained to answer complex questions faster than ...
OpenAI has launched a new series of AI models called OpenAI o1, which are designed to handle more difficult problems, especially in areas like science, coding, and maths. These models spend more time ...