OpenAI a annoncé que son nouveau modèle de raisonnement a fourni une preuve mathématique originale réfutant une célèbre hypothèse non résolue en géométrie. Ce problème a été proposé pour la première fois par Paul Erdős en 1946. Ce n'est pas la première affirmation de ce type de la part d'OpenAI, mais cette fois-ci, les résultats semblent beaucoup plus sérieux. C'est ce que rapporte Techcrunch.com .
Il y a sept mois, l'ancien vice-président de l'entreprise, Kevin Weil, avait affirmé que le modèle GPT-5 avait résolu 10 des problèmes non résolus d'Erdős. Cependant, il s'est avéré plus tard que le modèle avait simplement trouvé des solutions existant déjà dans la littérature. Cette erreur avait suscité les critiques de rivaux tels que Yann LeCun et le chef de Google DeepMind, Demis Hassabis. Cette fois, pour éviter de répéter l'erreur, OpenAI a validé la preuve en collaboration avec des mathématiciens renommés comme Noga Alon et Thomas Bloom.
« Pendant près de 80 ans, les mathématiciens ont cru que les meilleures solutions ressembleraient à des grilles carrées. Le modèle d'OpenAI a réfuté cette croyance et a découvert une toute nouvelle famille de constructions fonctionnant plus efficacement », a déclaré l'entreprise. Ceci est considéré comme le premier cas où l'intelligence artificielle résout indépendamment un problème central en mathématiques.
OpenAI souligne que cette preuve n'a pas été réalisée par un système créé spécifiquement pour les mathématiques, mais par un nouveau modèle de raisonnement à usage général. Cela signifie que la capacité des systèmes d'IA à connecter des chaînes logiques longues et complexes a augmenté. Une telle avancée devrait permettre de nouvelles découvertes en biologie, physique, ingénierie et médecine à l'avenir.
Lisez “Zamin” sur Telegram !
