====== Preuves mathématiques artificielles ======

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