Les grands modèles de langage (LLM) parviendront-ils à résoudre aisément des problèmes mathématiques ouverts ? C’est en tout cas ce que veut prouver OpenAI. L’entreprise d’IA a présenté le 1er août dix résultats de recherche sur des problèmes ouverts “de longue date” en mathématiques et en informatique théorique, obtenus à l’aide d’une version interne d’Astra, sa prochaine famille de modèles d’IA.