Selon les observations de Beating, OpenAI a officiellement annoncé pour la première fois son prochain modèle principal, Astra. La version interne a obtenu de nouveaux résultats sur 10 problèmes mathématiques et de science informatique théorique longtemps non résolus. Les conclusions fondamentales de ces problèmes n'avaient pas progressé depuis au moins 10 ans, et la plupart étaient bloquées depuis encore plus longtemps. Certains de ces problèmes ont été directement résolus ou réfutés. Astra a pour la première fois construit un groupe non sofic, répondant ainsi à une question ouverte centrale en théorie des groupes ; il a également réfuté la conjecture de rigidité de Connes et résolu 3 problèmes d'Erdős. Les autres résultats incluent 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 le nombre de tokens utilisés par le modèle pour trouver ces 10 résultats équivaut à environ 2 000 dollars selon le prix de l'API Sol. Ces démonstrations mathématiques ont été générées par Astra. Des humains ont ensuite aidé à les organiser en articles académiques, et le modèle a converti chaque preuve en certificat Lean, permettant une vérification pas à pas par ordinateur de la validité du raisonnement. OpenAI a rendu publics les articles, les certificats de preuve et le processus d'inférence du modèle.
Le nouveau modèle d'OpenAI, Astra, résout 10 problèmes mathématiques anciens
MarsBitPartager
Résumé
OpenAI a lancé un nouveau modèle, Astra, qui a résolu 10 problèmes mathématiques et de science informatique théorique de longue date. Ces questions n'avaient connu aucun progrès depuis plus de 10 ans, certaines persistant depuis des décennies. Astra a résolu ou réfuté des défis majeurs, notamment la construction du premier groupe non-sofic et la réfutation de la conjecture de rigidité de Connes. Les résultats incluent également des avancées dans le packings de sphères et la cryptographie post-quantique. OpenAI a utilisé environ 2 000 $ en jetons via l'API Sol. Des humains ont organisé les preuves en articles, qui ont été convertis en certificats Lean pour vérification. OpenAI a rendu tous les documents publics. Pour un investissement à long terme dans la crypto, comprendre ces points d'appui et de résistance dans le développement de l'IA peut façonner les mouvements futurs du marché.
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.