Le GPT-5.6 d’OpenAI utilise 64 agents pour prouver une conjecture mathématique vieille de 50 ans en moins d’une heure

Actualités de l’industrie de l’IA Agent IA

2026-07-11 01:29:22

D’après OneMillion_AI, le GPT-5.6 Sol Ultra d’OpenAI a déployé 64 sous-agents pour fournir une preuve formelle de la conjecture du double recouvrement du cycle — un problème mathématique proposé il y a environ 50 ans — en moins d’une heure. OpenAI a publié l’intégralité de l’invite et de la preuve, et a open-sourcé une version formalisée en Lean. Le code a passé une vérification via le kernel Lean. Cependant, il s’agit toujours du résultat publié par OpenAI ; la communauté mathématique n’a pas encore achevé une revue par les pairs indépendante, de sorte que la preuve n’est pas encore officiellement reconnue comme une solution définitive.

Afficher la source

Avertissement : Les informations figurant sur cette page peuvent provenir de sources tierces et sont fournies à titre indicatif uniquement. Elles ne reflètent pas les points de vue ou opinions de Gate et ne constituent pas un conseil financier, d’investissement ou juridique. Le trading des actifs virtuels comporte des risques élevés. Veuillez ne pas vous fonder uniquement sur les informations de cette page pour prendre vos décisions. Pour en savoir plus, consultez l’avertissement.

Actualités associées

Il y a 2h

Apple poursuit OpenAI pour détournement de secrets d’affaires le 10 juillet, alléguant l’implication d’un ancien dirigeant

Il y a 18h

B.AI intègre la suite de modèles OpenAI GPT-5, 6 dans le réseau d’API

Il y a 20h

OpenAI lance la série GPT-5.6 avec trois modèles ; Sol améliore l'efficacité de 54 %, Terra divise ses prix par deux

Il y a 22h

OpenAI déploie ChatGPT pour les applications et fichiers le 10 juillet

07-10 00:04

OpenAI annonce le déploiement complet des modèles de la série GPT-5, 6 et de l'agent conversationnel ChatGPT le 10 juillet

Analyse approfondie