They had to throw away most of what it produced but there was gold among the garbage. Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper ...

But what role does math play in solving complex problems such as curing a disease? In my job as an applied mathematician, I use mathematical tools to study and solve complex problems in biology.

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

How machines that can solve complex math problems might usher in more powerful AI Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning.

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

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year's International Mathematical Olympiad (IMO), ...

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...

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

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.