Décryptage ·
Astra : le prochain modèle d'OpenAI résout dix problèmes mathématiques ouverts
OpenAI annonce qu'Astra a résolu dix problèmes ouverts depuis au moins dix ans, avec des preuves Lean 4 vérifiables publiées sur GitHub.
photo — tableau noir couvert de formules de théorie des groupes