OpenAI présente de nouveaux résultats mathématiques obtenus avec un modèle d’intelligence artificielle de pointe.Cette démarche montre que l’IA peut désormais contribuer non seulement à résoudre des exercices, mais aussi à explorer des problèmes de recherche.Les résultats sont accompagnés de démonstrations formalisées en Lean, ce qui permet de vérifier automatiquement la validité de certaines preuves.Cette formalisation …
