1 article sur preuve-lean — guides, tutoriels et comparatifs pour maîtriser ce sujet sur AI-master.dev.
OpenAI résout Navier-Stokes en 88 heures avec 10 000 agents IA : preuve Lean publique, prix du Millénaire refusé, polémique sur la paternité.