En enkel AI-prompt har motbevisat Dinitz-Garg-Goemans förmodan, ett 30 år gammalt problem inom grafteori. Dmitry Rybin använde ChatGPT 5.6 Pro för att hitta ett motexempel efter att ha angett färre än 60 ord fördelat på fyra prompter. Processen tog 5,5 timmar.
Rybin, medgrundare av AI-startupen Autokernel, publicerade motexemplet på X. Han instruerade AI:n att "göra ett genombrott och hitta ett strukturerat motexempel" och följde upp med tre prompter som uppmanade den att fortsätta sökandet.
Förmodan rör frågan om huruvida vissa fraktscenarier inom grafteori kan konverteras utan att kostnaderna ökar. Rybin uppgav på X att han hade ägnat många veckor åt att tänka på problemet.
Chris Bowman-Scargill vid University of York noterade att förmodanden inom grafteori ofta faller när komplexiteten ökar. Abhishek Saha vid Queen Mary University of London sa att nuvarande AI-modeller lämpar sig för sådana problem men har begränsningar när det gäller djupare förmodanden.
Alexander Yong vid University of Illinois Urbana-Champaign sa att AI kommer att hjälpa till att sortera bort återvändsgränder och bevisa många förmodanden genom sin förmåga att snabbt testa idéer.
