Une invite d'IA basique a réfuté la conjecture de Dinitz-Garg-Goemans, un problème vieux de 30 ans en théorie des graphes. Dmitry Rybin a utilisé ChatGPT 5.6 Pro pour trouver un contre-exemple après avoir saisi moins de 60 mots en quatre invites. Le processus a duré 5,5 heures.
Rybin, cofondateur de la start-up spécialisée dans l'IA Autokernel, a publié le contre-exemple sur X. Il a demandé à l'IA de « réaliser une avancée majeure et de trouver un contre-exemple structuré », puis a enchaîné avec trois invites l'incitant à poursuivre ses recherches. La conjecture porte sur la possibilité de convertir certains scénarios d'expédition en théorie des graphes sans augmenter les coûts. Rybin a déclaré sur X qu'il avait passé de nombreuses semaines à réfléchir à ce problème. Chris Bowman-Scargill, de l'Université de York, a noté que les conjectures en théorie des graphes échouent souvent à mesure que la complexité augmente. Abhishek Saha, de l'Université Queen Mary de Londres, a précisé que les modèles d'IA actuels sont adaptés à ce type de problèmes mais présentent des limites face à des conjectures plus approfondies. Alexander Yong, de l'Université de l'Illinois à Urbana-Champaign, a affirmé que l'IA aidera à écarter les impasses et à prouver de nombreuses conjectures grâce à sa capacité à tester rapidement des idées.
