Une IA qui traduit les problèmes mathématiques en code pour les rendre plus faciles à résoudre - Trust My Science

Des chercheurs proposent de formaliser automatiquement les problèmes mathématiques à l'aide de l'IA Codex conçue par OpenAI.

Le processus de traduction automatique de concepts mathématiques écrits en langage naturel en spécifications et preuves formelles est appelé « auto-formalisation ». Dans le but daméliorer les modèles… [+5428 chars]

full article...