Un mathématicien de la Higher School of Economics a réfuté l'hypothèse de 1999 en utilisant GPT-5.6

Un mathématicien de la Higher School of Economics a réfuté l'hypothèse de 1999 en utilisant GPT-5.6

Le mathématicien et diplômé HSE Dmitry Rybin a trouvé un contre-exemple à la conjecture de Dinitz-Garg-Goemans à partir de la théorie des flux de réseau, restée ouverte pendant près de 30 ans. GPT-5.6 Pro a construit une réfutation en quelques heures et quatre invites. Le spécialiste n'a donné aucune indication sur le modèle – il a seulement écrit des déclarations générales telles que « faire une percée », « réfuter le cas général », « continuer à explorer ». Rybin a qualifié le chat de « pur mème ». Le résultat n’a pas encore été vérifié de manière indépendante.

Abonnez-vous à ForkLog sur les réseaux sociaux

Vous avez trouvé une erreur dans le texte ? Sélectionnez-le et appuyez sur CTRL+ENTRÉE

Voir l’article original en russe