GPT-5.6 utilise 64 agents pour proposer une preuve du conjecture de 50 ans

By: t.me|2026/07/11 01:25:46

OpenAI a utilisé GPT-5.6 Sol Ultra pour mobiliser 64 sous-agents, fournissant une preuve pour la « conjecture de double couverture cyclique » en moins d'une heure. OpenAI a rendu public le prompt complet ainsi que le texte intégral de la preuve, et a publié une version formalisée en Lean, le code ayant été vérifié par le noyau Lean. Actuellement, la communauté mathématique n'a pas encore terminé l'examen indépendant, donc ce résultat ne peut être qualifié que de « preuve fournie », et non de « solution officielle ».

Prix de --

--
--
--

Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.

Vous pourriez aussi aimer

iconiconiconiconiconicon
Assistance client:@weikecs
Collaborations commerciales:@weikecs
Trading quantitatif/Market makers:[email protected]
Programme VIP:[email protected]