Kimina-Prover-RL
Signal
45
Hype
35
En 3 lignesHugging Face présente Kimina-Prover-RL, un modèle de preuve mathématique entraîné par apprentissage par renforcement. Le système combine génération de code et vérification formelle pour résoudre des problèmes mathématiques complexes avec validation automatique.Lire la source
Ton avis ?
Résumé généré par Claude — vérifié par l'humain