OPINION
Terence Tao : les mathématiques à l'ère de l'IA [pdf]
Le mathématicien Terence Tao présente sa vision de l'impact de l'IA sur la recherche mathématique lors d'une conférence à l'ICM 2026.
Hacker News (filtré IA)·@Anon84·26 juillet 2026
Image · Générée · OpenAI GPT Image 2
Ce document de présentation, attribué au mathématicien Terence Tao, explore l'évolution du rôle de l'IA dans la pratique mathématique, notamment via les assistants de preuve et les outils d'exploration formelle. Il s'inscrit dans le cadre d'une intervention prévue pour le Congrès international des mathématiciens (ICM) 2026.
Chaleur 4
Pertinence 60
Nouveauté 35