veille:preuves_mathematiques_artificielles

Ceci est une ancienne révision du document !

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

veille/preuves_mathematiques_artificielles.1789536056.txt.gz · Dernière modification: 2026/09/16 07:20 par fdl