Outils pour utilisateurs
veille:preuves_mathematiques_artificielles
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
|
veille:preuves_mathematiques_artificielles [2026/09/16 07:20] fdl créée |
veille:preuves_mathematiques_artificielles [2026/10/29 19:10] (Version actuelle) fdl |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| ====== Preuves mathématiques artificielles ====== | ====== Preuves mathématiques artificielles ====== | ||
| + | |||
| + | ===== SMF ===== | ||
| + | |||
| + | * https://smf.emath.fr/actualites-smf/20-10-26-communique-sur-lavenir-de-la-recherche-mathematique | ||
| ===== Théorème de Fermat (Wiles) ===== | ===== Théorème de Fermat (Wiles) ===== | ||
| Ligne 6: | Ligne 10: | ||
| * 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 | ||
| + | |||
| + | ===== OpenAI ===== | ||
| + | * https://github.com/openai/math | ||
veille/preuves_mathematiques_artificielles.1789536056.txt.gz · Dernière modification: 2026/09/16 07:20 par fdl
Outils de la page
