====== 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