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.
Tag
mathématiques
1 article sur ce sujet.