posted May 21 @ 12:58 PM by Jason Kottke · gift link This is impressive: an AI model has disproved an 80-year-old conjecture by Paul Erdős . “The proof came from a new general-purpose reasoning model, rather than from a system trained specifically for…
Anonymous readers can preview up to 1024 characters here. Log in to unlock the full article once ingest succeeds.