AI may soon be the default way to solve theoretical problems in economics, high-energy physics, and other fields, MIT ...

Earlier this week, OpenAI published a trove of hundreds of mathematical results it claimed could “push the frontier of human ...

As AI churns out mathematical proofs, a DeepMind study raises a bigger question: What do we lose when we focus only on the ...

This is a guest post by Francesco Maggi. This blog post was initially written in a different file format and converted using ...

The benchmark confirms that some AIs are becoming exceptional tools for research-level math. But open-source models still ...

Mind’s AI system, AlphaProof, provided Lean with proofs of three of the competition’s problems. A year later, four AI systems performed at the level of a gold medalist. However, problems posed at the ...

Robledo, a mathematician at the University of Connecticut, has called “possibly the single most important day in the history of mathematics thus far”. On October 6th OpenAI released a torrent of 719 ...

On August 1, 2026, OpenAI released ten mathematical and theoretical computer-science results generated by an internal version ...

A mechanistic model from Mass General Brigham and the University of Cyprus shows how normalizing the tumor microenvironment, ...

Adam Sikora’s complex math problem was used for latest round of experiments testing AI’s rapidly evolving mathematical ...

New modelling from the University of British Columbia shows that even small post-infection costs can shift optimal vaccine ...

AI models are good at finding answers to mathematical puzzles but are not as good at research judgment, according to ...