AI Math Breakthrough: OpenAI Disproves 80-Year Erdős Conjecture

OpenAI's AI disproved the Erdős unit distance conjecture, an 80-year-old geometry problem. Days later, Google DeepMind solved 9 more Erdős problems ...

Memeburn·Jun 2

Google AI Solves 9 Century - Old Problems Overnight, Which Humans Couldn't Solve in 56 Years

36 Kr·May 25

The shape of mathematics to come

In this post I review and discuss a recent academic article on the future of using GenAI for mathematics research. Continue reading on Medium »

Medium · David Hoyle·Dec 21

AI Takes a Leap into the World of Mathematics: "Now an Independent Explorer"

동아사이언스·Nov 14

Olympiad-level formal mathematical reasoning with reinforcement learning

Nature·Nov 12

Migliori Large Reasoning Model per la matematica

Continue reading on Medium »

Medium · Scienza et Magia·Jun 22

AI Math Proof Milestone: DeepMind Cracks 9 Erdős Problems, Magnetar Confirmed

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science...

Tech Times·May 30

As AI advances, mathematicians debate what their work looks like next

Google DeepMind’s AlphaProof system solved International Mathematical Olympiad problems at a silver-medal level earlier this year, marking the most concrete demonstration yet that artificial ...

MSN·Mar 17

DeepMind’s latest: An AI for handling mathematical proofs

Ars Technica·Nov 19

Google’s AlphaProof Can Work on Mathematical Proofs Once Thought Beyond Machines

ZME Science·Nov 13

Mathematicians put AI model AlphaProof to the test

Nature·Nov 12

When AI Meets Formal Maths: AlphaProof

Mathematics is a fundamental tool we use to describe, predict, and shape the natural world. It’s often seen as a core component of… Continue reading on Medium »

Medium · Kargi Chauhan·May 31

AI for investors

MLQ.ai·May 26

AI is changing how mathematicians solve problems and write proofs

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating formally verified proofs through reinforcement learning trained on millions of...

MSN·Mar 12

AI math genius delivers 100% accurate results

Phys.org·Nov 14

[Research Press Release] Artificial intelligence: A mathematics medal-worthy AI system (Nature)

An AI system that can prove complex mathematical theories is described in Nature this week. The system, Google DeepMind’s AlphaProof, has achieved a silver medal-worthy performance at the 2024 ...

nature asia·Nov 12

The Sequence Opinion #694: From Proof Engines to Polymaths: How AI Conquered the International Math Olympiad

TheSequence·Jul 30

Strawberry & AlphaProof: GOFAI* to the rescue of Generative AI!

In case you missed it… To move forward, AI research is acknowledging the limitations of Large Language Models (LLMs) and is hybridizing… Continue reading on Medium »

Medium · Claude COULOMBE·Sep 11