veille:preuves_mathematiques_artificielles

Ceci est une ancienne révision du document !

Table des matières

Preuves mathématiques artificielles

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

OpenAI

https://github.com/openai/math

veille/preuves_mathematiques_artificielles.1791403024.txt.gz · Dernière modification: 2026/10/07 21:57 par fdl