#lean

2 articles · Tous les tags

📰 Digests

August 3, 2026

Karpathy diplôme le benchmark Pelican, une fausse réfutation de Collatz expose un bug de soundness du noyau Lean, NetBSD 11.0 est sorti

KarpathyPelicanBenchmark IALean

📡 Events

July 22, 2026

L'IA trouve des contre-exemples plus vite que les mathématiciens — et ça change tout

IAMathématiquesLeanVérification Formelle