GPT-5.6 utilise 64 agents pour proposer une preuve du conjecture de 50 ans
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

Revue Flash de Gemini 3.7 : Le modèle économique de Google n'est plus idiot

Rédaction de prompts pour l'analyse des cryptomonnaies (cadre en 10 étapes)

Guide officiel de Claude Code pour économiser des Tokens : 11 astuces pour prolonger votre quota

Révélation des premiers gagnants de Vibe Blitz de Vibe Code Game

L'assistant AI Rovo vulnérable aux attaques par injection de prompt PDF

Publication des voies d'attaque pour l'élévation des privilèges des agents AI de Gemini

L'agent AI de Google exécute des fonctions de shopping et de réservation dans Chrome

Fidji Simo quitte OpenAI après un congé médical

Une délégation politique du Qatar visite l'Iran, exigeant des explications sur les accusations dans le détroit d'Hormuz

Hyperliquid obtient le premier DEX de résultat HIP-4 avec OUT

Le côté B de bStocks : ne pas faire un meilleur Nasdaq, mais conquérir le pouvoir de prix avec Perp

Les ETF XRP gagnent du terrain dans deux dépôts de fonds américains

RWA : CZ veut que les États tokenisent tout pour attirer les capitaux étrangers

Dollar, taux et inflation : pourquoi septembre pourrait être un mois clé pour cette course

Crédit : un nouveau système de prélèvement par débit sur compte fait ses débuts, mais les banques anticipent peu d'utilisation

Les ventes de NFT chutent de 44,7 % à 63,3 millions de dollars alors qu'Ethereum domine

Polygon Labs émet un avis urgent de mise à niveau pour les clients suite aux hardforks d'Austin et de Kyoto

L'intelligence incarnée entre dans une nouvelle phase, les entreprises automobiles deviennent incontournables

Blockchain : Mastercard révèle ce que les banques exigent vraiment

Suivre l'argent : 2 milliards de dollars pour Strategy, l'incubateur YZi Labs et la domination de DeFi
![[Chronique] Le dollar sur la blockchain, le yuan en or... La guerre des monnaies a changé](/public-static/26_2e1840f602.png?format=avif)
[Chronique] Le dollar sur la blockchain, le yuan en or... La guerre des monnaies a changé

Charles Schwab ajoute Solana, Avalanche et Chainlink à son offre crypto

Quelle est la nouvelle position de la FED pour Bitcoin et les cryptomonnaies ? Analyse détaillée

Cryptomonnaie au Brésil : Lois, taxes, comment acheter et comment trouver les meilleurs taux de change

Financement des VC en crypto : RQD* lève 74 millions de dollars, Fasset obtient 68 millions de dollars

Entretien avec le fondateur d'Epoch Ventures : Le cycle de rotation des fonds à grande échelle a commencé, le cycle de quatre ans est terminé

Les transactions FWA dépassent 17 000 ETH, même après la fin des récompenses

Cardone Capital ajoute 1 200 BTC grâce aux revenus locatifs

La SEC propose d'exempter les contrats à terme sur la dette de l'UE selon les règles américaines





