veille:preuves_mathematiques_artificielles

Table des matières

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

Séminaire MIAM

https://smf.emath.fr/actualites-smf/seminaire-miam

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.txt · Dernière modification: 2026/11/05 22:31 par fdl