Tagged articles

Terence Tao

2 articles · Page 1 of 1

Aug 16, 2026 · Artificial Intelligence

AI Cracks Sendov’s Conjecture and Uncovers a Stronger Result Highlighted by Terence Tao

With GPT‑5.6 Pro assistance, a startup CEO produced a 90 000‑line Lean 4 formal proof of Sendov’s conjecture, which Terence Tao later streamlined to 15 000 lines and showed also resolves the stronger Phelps‑Rodriguez conjecture, illustrating a new paradigm of AI‑human collaboration in mathematics.

AIFormal ProofLean

0 likes · 12 min read

AI Cracks Sendov’s Conjecture and Uncovers a Stronger Result Highlighted by Terence Tao

Machine Learning Algorithms & Natural Language Processing

Apr 27, 2026 · Artificial Intelligence

How a 23‑Year‑Old Outsider Cracked a 60‑Year‑Old Math Conjecture Using ChatGPT

A 23‑year‑old without formal math training teamed with a Cambridge student and ChatGPT, solving the 60‑year‑old Erdős primitive‑set conjecture in 80 minutes, while traditional mathematicians had been stuck for decades, highlighting a radically different AI‑driven proof strategy.

AI mathematicsChatGPTErdős conjecture

0 likes · 8 min read

How a 23‑Year‑Old Outsider Cracked a 60‑Year‑Old Math Conjecture Using ChatGPT