Amateur armed with ChatGPT solves an Erdős problem(scientificamerican.com)
733 points by pr337h4m | 508 comments
Scientific American article about an amateur who used ChatGPT to prove a 60-year-old Erdős conjecture with a novel method.
#ai-assisted-proofs on Hacker News
1 story tagged ai-assisted-proofs, newest first.