📰 GPT-6 Astra démontre 70 % des théorèmes Lean, mais ne résout aucune des 30 conjectures ouvertes
Les succès de GPT-6 Astra en démonstration de théorèmes mettent en évidence le potentiel de l’IA en logique formelle, mais ses difficultés face aux conjectures ouvertes soulignent les limites actuelles. L’article GPT-6 Astra démontre 70 % des théorèmes Lean, mais ne résout aucune des 30 conjectures ouvertes est paru en premier sur Crypto Briefing.
Source : Crypto Briefing
Heure : 2026-11-08 18:51:15
Crédit : diego almada lopez
#IA
Partagez votre opinion dans la section commentaires ci-dessous
Les succès de GPT-6 Astra en démonstration de théorèmes mettent en évidence le potentiel de l’IA en logique formelle, mais ses difficultés face aux conjectures ouvertes soulignent les limites actuelles. L’article GPT-6 Astra démontre 70 % des théorèmes Lean, mais ne résout aucune des 30 conjectures ouvertes est paru en premier sur Crypto Briefing.
Source : Crypto Briefing
Heure : 2026-11-08 18:51:15
Crédit : diego almada lopez
#IA
Partagez votre opinion dans la section commentaires ci-dessous