Table des matières
Preuves mathématiques artificielles
SMF
Séminaire MIAM
Théorème de Fermat (Wiles)
Navier-Stokes
OpenAI
Preuves mathématiques artificielles
SMF
https://smf.emath.fr/actualites-smf/20-10-26-communique-sur-lavenir-de-la-recherche-mathematique
Séminaire MIAM
https://smf.emath.fr/actualites-smf/seminaire-miam
Théorème de Fermat (Wiles)
https://www.anthropic.com/research/formalizing-fermats-last-theorem
https://www-cdn.anthropic.com/9e431dff043da6538d99d6c2d231b670aa3da263.pdf
https://github.com/anthropics/fermats-last-theorem
Navier-Stokes
https://echai.ventures/collections/navierstokes
OpenAI
https://github.com/openai/math