« Goedel-Prover » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
'''[[Modèle de langue]]''' libre accès qui atteint des performances de pointe dans la génération automatisée de preuves formelles pour les problèmes mathématiques (en date du 5 avril 2025). | '''[[Modèle de langue]]''' libre accès qui atteint des performances de pointe dans la génération automatisée de preuves formelles pour les problèmes mathématiques (en date du 5 avril 2025). | ||
| Ligne 16 : | Ligne 14 : | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 3 mars 2026 à 21:00
Définition
Modèle de langue libre accès qui atteint des performances de pointe dans la génération automatisée de preuves formelles pour les problèmes mathématiques (en date du 5 avril 2025).
Français
Goedel-Prover
Anglais
Goedel-Prover
An open-source language model that achieves state-of-the-art performance in automated formal proof generation for mathematical problems (as of April 5 2025).
Sources
Contributeurs: Arianne Arel, wiki
