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
