🏷️ preuve-lean

1 article about preuve-lean — guides, tutorials and comparisons to master this topic on AI-master.dev.

OpenAI solves Navier-Stokes in 88 hours with 10,000 agents: public Lean proof, prize declined, authorship controversy

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é.

Actu IA débutant