Odaily Planet Daily : OpenAI a publié des résultats de recherche indiquant que son prochain modèle d'IA, Astra, a réalisé des progrès dans les domaines des mathématiques et de l'informatique théorique, notamment en géométrie de haute dimension, théorie des codes, théorie des groupes, complexité quantique, cryptographie post-quantique et combinatoire extrémale. Les 10 résultats publiés concernent : le problème du empilement de sphères en haute dimension, les problèmes de codage binaire et sphérique, le problème des groupes non sofic, la conjecture de rigidité de Connes, le problème de complexité des circuits arithmétiques, le problème de la répétition parallèle quantique, le problème du vecteur le plus proche, la conjecture du volume d'Ehrhart, le problème des nombres de Ramsey multicolores et la conjecture de théorie extrémale des graphes.
Selon les informations fournies, ces résultats ont été déduits à l'aide de la version interne du modèle Astra, avec un coût de calcul d'environ 2000 dollars (selon le prix de l'API Sol). Par la suite, les chercheurs humains ont utilisé le même modèle pour aider à rédiger l'article et ont généré des certificats de preuve vérifiables à l'aide du système de formalisation Lean.