GPT-5.6 used to solve six unsolved Erdős problems and disprove long-standing conjectures

Researcher Dmitry Rybin used GPT-5.6 Sol Ultra in Codex to produce proposed proofs for six Erdős problems. Ethan Mollick prompted GPT-5.6 Pro with 58 words to disprove the Dinitz-Garg-Goemans conjecture, and an arxiv paper reports autonomous disproof of the sum-product conjecture using GPT-5.5.

Featured · Dmitry Rybin