“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...

Professional mathematicians have been stunned by the progress amateurs have made in solving long-standing problems with the ...

Mathematical superintelligence startup Harmonic AI Inc. revealed today that NVentures, the venture capital arm of Nvidia Corp., was among the investors in its $120 million Series C round that was ...

At first glance, the problem seems ridiculously simple. And yet experts have been searching for a solution in vain for decades. According to mathematician Jeffrey Lagarias, number theorist Shizuo ...

You enter a cave. At the end of a dark corridor, you encounter a pair of sealed chambers. Inside each chamber is an all-knowing wizard. The prophecy says that with these oracles’ help, you can learn ...

What happens when things combine? This question lies at the heart of the Borell-Brascamp-Lieb inequality (BBL), a mathematical relation widely applied across many fields of mathematics, science and ...

When it comes to understanding the shape of bubble clusters, mathematicians have been playing catch-up to our physical intuitions for millennia. Soap bubble clusters in nature often seem to ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...