Post

On parle beaucoup de Lean pour son rôle dans la vérification des résultats mathématiques, mais peu pour son rôle dans l'*entraînement* (par Reinforcement Learning). Il y a des raisons de penser qu'il joue un rôle et que cet apprentissage se transfère à d'autres domaines que Lean...