-
Automath! À qui appartiennent les mathématiques ? Maths + IA Controversy Workshop
Automath! À qui appartiennent les mathématiques ? Maths + IA Controversy Workshop
À qui appartiennent les mathématiques ? En deux ans à peine, les mathématiques semblent être passées du statut de frontière de l’IA à celui de territoire de l’IA, du statut d’idéal cognitif servant à tester les capacités de raisonnement des modèles d’IA, à celui d’infrastructure de connaissance, productive et mobilisable de façon en partie automatisée. C’est en tous cas le message envoyé par OpenAI (e.g. Contre-exemple à la conjecture d’Erdős), Anthropic (e.g. Contre-exemple à la conjecture jacobienne), Google DeepMind (e.g. AlphaProof) ou encore la DARPA avec le programme ExpMath. Si […]