Amateur 'Vibe-Maths' a 60-Year Erdős Problem Using ChatGPT — Verified by Terence Tao
Scientific American·high signal
23-year-old Liam Price solved an open Erdős problem about primitive sets by prompting ChatGPT on an idle Monday. Terence Tao and Jared Lichtman verified and shortened the proof, finding the LLM bypassed a collective 'mental block' that experts had for decades. Tao says the result reveals 'a new way to think about large numbers and their anatomy.' 773↑ on r/singularity with 96 comments.