IA
Seules 10 des 719 preuves mathématiques d'OpenAI incluaient une chaîne de raisonnement, et un nouvel article révèle des divergences entre les preuves en langage naturel et le code Lean.
Chargement…
Recherche
Aucun téléphone et 2 articles pour « Lean »
IA
Seules 10 des 719 preuves mathématiques d'OpenAI incluaient une chaîne de raisonnement, et un nouvel article révèle des divergences entre les preuves en langage naturel et le code Lean.
IA
OpenAI a publié 372 résultats mathématiques produits par un modèle interne, dont la quasi-totalité provient d'une seule invite adressée à un agent IA. Les mathématiciens sont impressionnés, et sceptiques.