Filtrează articolele

Subiect: #Lean 4

AI Mistral AI lansează Leanstral 1.5: un model AI open-source care rezolvă probleme de matematică de nivel olimpic

Mistral AI lansează Leanstral 1.5: un model AI open-source care rezolvă probleme de matematică de nivel olimpic

Mistral AI a lansat Leanstral 1.5, un model open-source specializat în Lean 4, care a rezolvat 587 din 672 de probleme matematice din PutnamBench. Articolul explică importanța acestui model pentru comunitatea AI și matematică.

🕒 1 luni în urmă
AI Kimina-Prover-RL: O nouă eră în demonstrarea automată a teoremelor prin învățare prin întărire

Kimina-Prover-RL: O nouă eră în demonstrarea automată a teoremelor prin învățare prin întărire

Echipa Kimina lansează kimina-prover-rl, un pipeline open-source de învățare prin întărire pentru demonstrarea teoremelor în Lean 4, care utilizează un paradigmă de raționament structurat și un mecanism inovator de corecție a erorilor, obținând performanțe de top pentru modelele de dimensiuni mici.

🕒 4 luni în urmă

Acest site folosește cookie-uri pentru a-ți oferi o experiență de navigare cât mai plăcută. Continuarea navigării implică acceptarea acestora.