Le nouveau modèle Astra d'OpenAI résout 10 problèmes de mathématiques et d'informatique de longue date

iconChainthink
Partager
AI summary iconRésumé
Le 1er août, OpenAI a lancé son nouveau modèle Astra, résolvant 10 problèmes mathématiques et informatiques anciens. Ces problèmes n'avaient connu aucun progrès depuis plus d'une décennie, la plupart restant non résolus depuis bien plus longtemps. Astra a construit le premier groupe non sofique, réfuté la conjecture de rigidité de Connes et résolu trois problèmes d'Erdős. Il a également fait progresser le packings de sphères, la théorie des codes et la cryptographie post-quantique. Le modèle a utilisé environ 2000 $ en jetons pour générer des preuves, qui ont été compilées en articles avec l'aide humaine et vérifiées via Lean. Les traders analysant les niveaux de support et de résistance peuvent trouver des opportunités d'investissement à long terme dans l'innovation pilotée par l'IA.

Message de ChainThink, le 1er août, OpenAI a officiellement annoncé pour la première fois son prochain modèle principal, Astra, qui a obtenu de nouveaux résultats sur 10 problèmes mathématiques et de science informatique théorique longtemps non résolus.

La conclusion fondamentale de ces questions n'a pas progressé depuis au moins 10 ans, et la plupart ont stagné pendant une période encore plus longue. Astra a notamment construit pour la première fois un groupe non sofic, répondant ainsi à une question ouverte centrale de la théorie des groupes ;

Réfuter simultanément la conjecture de Connes et résoudre 3 problèmes d’Erdős. Les autres résultats portent sur de nouvelles bornes supérieures et inférieures, ainsi que des preuves de difficulté, pour des problèmes liés au empilement de sphères, à la théorie des codes, à la complexité quantique et à la cryptographie post-quantique.

OpenAI affirme que les tokens utilisés pour trouver ces 10 résultats équivalent à environ 2000 dollars selon le prix de l'API Sol.

Les arguments mathématiques associés ont été générés par Astra, puis organisés en article par des humains, et le modèle a converti chaque preuve en certificat Lean pour une vérification pas à pas par ordinateur de la validité du raisonnement.

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.