Outils pour utilisateurs
veille:preuves_mathematiques_artificielles
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
veille:preuves_mathematiques_artificielles [2026/09/16 07:52] fdl |
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 9: | Ligne 13: | ||
| ===== Navier-Stokes ===== | ===== Navier-Stokes ===== | ||
| * https://echai.ventures/collections/navierstokes | * https://echai.ventures/collections/navierstokes | ||
| + | |||
| + | ===== OpenAI ===== | ||
| + | * https://github.com/openai/math | ||
veille/preuves_mathematiques_artificielles.1789537953.txt.gz · Dernière modification: 2026/09/16 07:52 par fdl
Outils de la page
