Lean

Kimina-Prover : Nouvelle avancée en démonstration de théorèmes

Découvre comment Kimina-Prover surpasse les modèles précédents grâce à une approche d'apprentissage par renforcement en temps réel.