Table des matières
Preuves mathématiques artificielles
Théorème de Fermat (Wiles)
Navier-Stokes
Preuves mathématiques artificielles
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