AnalysisScienceJuly 22, 2026

GPT-5.6 Pro disproves Dinitz-Garg-Goemans conjecture

Using just 58 words of prompting, GPT-5.6 Pro discovered a counterexample to the long-standing Dinitz-Garg-Goemans conjecture, a problem in combinatorial optimization.

2 sources

More stories today

Open the live feed