BestHub
Sign in
Tagged articles

Terence Tao

4 articles · Page 1 of 1
PaperAgent
PaperAgent
Sep 12, 2026 · Artificial Intelligence

Terence Tao & 25 Fields Medalists Warn: AI Math 'Breakthroughs' Cause Proof Indigestion

Fields Medalist Terence Tao and 24 peers condemn AI companies for bypassing peer review with hyped math 'solutions,' warning that uncontrolled AI-generated proofs will flood the field, cause 'proof indigestion,' and decouple problem-solving from the human understanding that defines mathematics.

AI in mathematicsFields MedalistsGoodhart's Law
0 likes · 14 min read
Terence Tao & 25 Fields Medalists Warn: AI Math 'Breakthroughs' Cause Proof Indigestion
Machine Learning Algorithms & Natural Language Processing
Machine Learning Algorithms & Natural Language Processing
Aug 17, 2026 · Artificial Intelligence

AI Proves Sendov’s Conjecture and Reveals a Stronger Result, Says Tao

An AI‑assisted proof using about 90,000 lines of Lean 4 formal code resolves the 70‑year‑old Sendov conjecture, and Terence Tao’s subsequent simplification shows it also settles the stronger Phelps‑Rodriguez conjecture, illustrating a new human‑machine collaboration model in mathematics.

AI-assisted proofFormal VerificationLean
0 likes · 13 min read
AI Proves Sendov’s Conjecture and Reveals a Stronger Result, Says Tao
Machine Learning Algorithms & Natural Language Processing
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