Tag
#mathematiques
2 articles sur ce sujet.
Intermédiaire2 min·19 août 2026
Palomar : vérifier enfin les preuves mathématiques en IA
Un registre public pour vérifier que les preuves mathématiques générées par l'IA sont vraiment correctes.
#mathematiques#ia#verification-formelle
Intermédiaire1 min·1 juin 2026
Une IA d'OpenAI résout un problème mathématique insoluble depuis 80 ans
OpenAI a créé un modèle IA qui a démontré une conjecture mathématique que les humains n'arrivaient pas à résoudre depuis les années 1940.
#openai#mathematiques#recherche-ia