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 ...

Artificial intelligence Google DeepMind used a large language model to solve an unsolved math problem They had to throw away most of what it produced but there was gold among the garbage.

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 ...

Google DeepMind's latest AI innovation can solve geometry problems, allegedly at the level of human experts.

Discover how ChatGPT 5 Pro AI shattered expectations by solving a decades-old math problem, marking a new era of AI-human collaboration.

Google claims math breakthrough with proof-solving AI models AlphaProof and AlphaGeometry 2 solve problems, with caveats on time and human assistance.

According to Wei, an unreleased model from OpenAI was able to solve five out of six problems at one of the world's longest-standing and prestigious math competitions, earning 35 out of 42 points ...

Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theorems.

DeepMind and OpenAI models solve maths problems at level of top students For the first time, large language models performed on a par with gold medallists in the International Mathematical Olympiad.

Phi-4 and an rStar-Math paper suggest that compact, specialized models can provide powerful alternatives to the industry’s largest systems.