Perintah AI dasar telah mematahkan konjektur Dinitz-Garg-Goemans, sebuah masalah teori graf yang berusia 30 tahun. Dmitry Rybin menggunakan ChatGPT 5.6 Pro untuk menemukan contoh penyangkal setelah memasukkan kurang dari 60 kata dalam empat perintah. Proses tersebut memakan waktu 5,5 jam.
Rybin, salah satu pendiri perusahaan rintisan AI Autokernel, mengunggah contoh penyangkal tersebut di X. Ia menginstruksikan AI untuk “melakukan terobosan dan menemukan contoh penyangkal yang terstruktur” dan menindaklanjutinya dengan tiga perintah yang mendesaknya untuk terus mencari. Konjektur ini berkaitan dengan apakah skenario pengiriman tertentu dalam teori graf dapat dikonversi tanpa meningkatkan biaya. Rybin mengatakan di X bahwa ia telah menghabiskan waktu berminggu-minggu untuk memikirkan masalah tersebut. Chris Bowman-Scargill dari University of York mencatat bahwa konjektur teori graf sering kali gagal ketika kompleksitas meningkat. Abhishek Saha dari Queen Mary University of London mengatakan model AI saat ini cocok untuk masalah seperti itu, namun memiliki batasan pada konjektur yang lebih dalam. Alexander Yong dari University of Illinois Urbana-Champaign mengatakan AI akan membantu menyingkirkan jalan buntu dan membuktikan banyak konjektur melalui kemampuannya dalam menguji ide dengan cepat.
