OpenAI vient de résoudre 10 problèmes mathématiques longtemps restés sans solution. Le nouveau modèle multi-agent a résolu un ensemble de problèmes mathématiques ouverts difficiles, non démontrés depuis des décennies, puis a formalisé les preuves dans Lean. Sam Altman a présenté Astra à Washington cette semaine. Il deviendra le premier modèle à passer par un nouveau processus d'approbation gouvernemental avant sa sortie. Le détail le plus frappant : la résolution des 10 problèmes a coûté moins de 2 000 $ en jetons au prix de Sol. OpenAI a également testé d'autres problèmes difficiles, certains restant encore non résolus — mais le potentiel d'échelle est énorme. Cela marque-t-il une nouvelle ère pour la découverte mathématique assistée par l'IA ?
David ArnalPartager
Source:Afficher l'original
Clause de non-responsabilité : les informations sur cette page peuvent avoir été obtenues auprès de tiers et ne reflètent pas nécessairement les points de vue ou opinions de KuCoin. Ce contenu est fourni à titre informatif uniquement, sans aucune représentation ou garantie d’aucune sorte, et ne doit pas être interprété comme un conseil en investissement. KuCoin ne sera pas responsable des erreurs ou omissions, ni des résultats résultant de l’utilisation de ces informations.
Les investissements dans les actifs numériques peuvent être risqués. Veuillez évaluer soigneusement les risques d’un produit et votre tolérance au risque en fonction de votre propre situation financière. Pour plus d’informations, veuillez consulter nos conditions d’utilisation et divulgation des risques.