And apparently LLMs from Google solved another 9 open Erdos problems with assistance from the Lean Theorem Prover software to check each step. Mind boggling.
arxiv.org/pdf/2605.227...
arxiv.org
Scott McFarnell
The idea that ChatGPT recently disproved the 80year old Erdos conjecture that grids were the best way of connecting points is amazing. It subdivided the grid and found more ways for the same-length stick to fit between points.
