Outils pour utilisateurs
veille:preuves_mathematiques_artificielles
Différences
Ci-dessous, les différences entre deux révisions de la page.
|
veille:preuves_mathematiques_artificielles [2026/09/16 07:20] fdl créée |
veille:preuves_mathematiques_artificielles [2026/09/16 07:52] (Version actuelle) fdl |
||
|---|---|---|---|
| Ligne 6: | Ligne 6: | ||
| * https://www-cdn.anthropic.com/9e431dff043da6538d99d6c2d231b670aa3da263.pdf | * https://www-cdn.anthropic.com/9e431dff043da6538d99d6c2d231b670aa3da263.pdf | ||
| * https://github.com/anthropics/fermats-last-theorem | * https://github.com/anthropics/fermats-last-theorem | ||
| + | |||
| + | ===== Navier-Stokes ===== | ||
| + | * https://echai.ventures/collections/navierstokes | ||
veille/preuves_mathematiques_artificielles.1789536056.txt.gz · Dernière modification: 2026/09/16 07:20 par fdl
Outils de la page
