Um comando básico de IA refutou a conjectura de Dinitz-Garg-Goemans, um problema de 30 anos na teoria dos grafos. Dmitry Rybin usou o ChatGPT 5.6 Pro para encontrar um contraexemplo após inserir menos de 60 palavras em quatro comandos. O processo levou 5,5 horas.
Rybin, cofundador da startup de IA Autokernel, publicou o contraexemplo no X. Ele instruiu a IA a "fazer um avanço e encontrar um contraexemplo estruturado" e prosseguiu com três comandos incentivando-a a continuar a busca.
A conjectura diz respeito a se certos cenários de transporte na teoria dos grafos podem ser convertidos sem aumentar os custos. Rybin disse no X que passou muitas semanas pensando sobre o problema.
Chris Bowman-Scargill, da Universidade de York, observou que conjecturas da teoria dos grafos frequentemente falham quando a complexidade aumenta. Abhishek Saha, da Queen Mary University of London, disse que os modelos atuais de IA são adequados para tais problemas, mas têm limitações em conjecturas mais profundas.
Alexander Yong, da Universidade de Illinois em Urbana-Champaign, disse que a IA ajudará a descartar becos sem saída e a provar muitas conjecturas através de sua capacidade de testar ideias rapidamente.
