GPT-5.6 Pro solves multiple long-standing mathematical conjectures

Researchers report that GPT-5.6 Pro and Sol Ultra models have produced proofs or disproofs for at least six Erdős problems and the Dinitz-Garg-Goemans conjecture. These mathematical breakthroughs were achieved using specific prompt sequences in single chat sessions.

Featured · Dmitry Rybin