Una instrucción básica de IA ha refutado la conjetura de Dinitz-Garg-Goemans, un problema de hace 30 años en la teoría de grafos. Dmitry Rybin utilizó ChatGPT 5.6 Pro para encontrar un contraejemplo tras introducir menos de 60 palabras en cuatro instrucciones. El proceso llevó 5,5 horas.
Rybin, cofundador de la startup de IA Autokernel, publicó el contraejemplo en X. Dio instrucciones a la IA para "lograr un avance y encontrar un contraejemplo estructurado" y continuó con tres avisos instándole a seguir buscando.
La conjetura se refiere a si ciertos escenarios de envío en la teoría de grafos pueden convertirse sin aumentar los costes. Rybin señaló en X que había pasado muchas semanas pensando en el problema.
Chris Bowman-Scargill, de la Universidad de York, señaló que las conjeturas de la teoría de grafos a menudo fallan cuando aumenta la complejidad. Abhishek Saha, de la Queen Mary University de Londres, afirmó que los modelos actuales de IA son adecuados para estos problemas, pero tienen límites en conjeturas más profundas.
Alexander Yong, de la Universidad de Illinois en Urbana-Champaign, dijo que la IA ayudará a descartar callejones sin salida y a demostrar muchas conjeturas gracias a su capacidad para probar ideas rápidamente.
