Le modèle Astra non publié d'OpenAI résout 10 défis mathématiques

Selon TechFlow, le 1er août, d'après de nouvelles informations divulguées, ce modèle non publié (potentiellement GPT-6) a résolu 10 problèmes non résolus de longue date dans les domaines des mathématiques, de la complexité quantique et de l'informatique théorique, incluant le premier groupe non sofic explicite et la réfutation de la conjecture de rigidité de Connes, entre autres. L'argumentation centrale a été générée par Astra et formellement prouvée dans Lean, produisant un manuscrit de 249 pages et un certificat vérifiable par machine. Le coût en tokens pour une résolution réussie unique, aux tarifs de Sol API, est d'environ 2000 dollars seulement.