Stéphane Mallat : comprendre les démonstrations par IA exige
Le mathématicien Stéphane Mallat, médaille d'or 2025 du CNRS, estime que les démonstrations par IA n'ont d'intérêt que pour qui a le bagage pour les comprendre.
intelligence artificielle
3 articles sur ce sujet.
Théorème de Fermat : une preuve inédite par l'IA
Anthropic a annoncé le 4 septembre avoir formalisé une preuve du grand théorème de Fermat, suivie le 8 septembre par une avancée d'OpenAI sur Navier-Stokes.
Claude formalise le dernier théorème de Fermat en 11 jours
Anthropic a annoncé le 4 septembre que son IA Claude a formalisé, en onze jours, la démonstration du dernier théorème de Fermat.