AI and the Glimmer in our Eye (highlights) - Numberphile

La qualité d'un article scientifique est souvent jugée par la nouveauté de ses résultats. Il faudrait également valoriser la clarté et la compréhension des étapes de la preuve. L'idée est de créer des "problèmes du Prix du Millénaire" pour l'exposition, récompensant la clarification de concepts déjà prouvés mais mal compris. Cela pourrait influencer les décisions de carrière et les prix prestigieux, élevant ainsi le statut de l'explication. L'orateur trouve plus de joie à comprendre un résultat ancien qu'à en prouver un nouveau, même si cela demande du temps. Il craint que la résolution des grands problèmes mathématiques par les ordinateurs réduise le nombre de "héros" comme Andrew Wiles, ce qui pourrait démotiver les jeunes. Pour maintenir l'héroïsme, il propose de transformer les concours de mathématiques en sports professionnels, avec des tournois internationaux et des classements, créant ainsi des figures emblématiques. L'abondance de preuves générées par des machines pourrait révéler des phénomènes mathématiques émergents inobservables avec des preuves écrites à la main.