veille:preuves_mathematiques_artificielles

Ceci est une ancienne révision du document !

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

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