BestHub
Sign in
Tagged articles

AI-assisted proof

2 articles · Page 1 of 1
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
Jun 30, 2026 · Artificial Intelligence

ChatGPT Overturns a 7‑Year Computational Geometry Challenge by Yao‑Class Legend Chen Lijie

A new arXiv paper shows that the farthest‑pair problem in arbitrary super‑constant dimensions requires near‑quadratic time, with the breakthrough proof generated by GPT‑5.5 Pro and built on Chen Lijie's seven‑year work and his recent contribution to disproving the Erdős unit‑distance conjecture.

AI-assisted proofErdős unit distance conjectureGPT-5.5
0 likes · 12 min read
ChatGPT Overturns a 7‑Year Computational Geometry Challenge by Yao‑Class Legend Chen Lijie