En janvier, mathématiciens, historiens, artistes et éducateurs se sont réunis à l'Institut Henri Poincaré pour un atelier sur la signification mathématique. Leur focus était de demander ce que signifie qu'une illustration soit rigoureuse. Les discussions, six mois après l'atelier, ont conduit à un article accepté dans les Notices, écrit dans le contexte de la Déclaration de Leiden.
Les derniers mois ont vu un afflux de points de vue sur ce que signifie faire des mathématiques en tant qu'être humain. L'illustration mathématique, y compris l'informatique graphique et autres médias au-delà de la communication symbolique, est une activité qui va au-delà de l'écriture de preuves. Bryna Kra décrit le problème actuel : la production de théorèmes est la mesure de succès la plus importante, bien qu'elle ait toujours été un substitut pour la compréhension.
L'IA a brisé la rareté des théorèmes profonds. Silvia De Toffoli et Eamon Duede rejettent l'idée que les mathématiques sont un jeu que les machines peuvent gagner, les voyant plutôt comme un corps de connaissances engagé par une communauté savante. Matilde Marcolli argue que les grands théorèmes n'étaient jamais le point, seulement un système de valeurs choisi.
Grant Sanderson demande comment donner un crédit réel à d'autres formes de compréhension mathématique. Le papier trace comment le dessin à main était requis à l'École Polytechnique de Gaspard Monge, où l'historien Frédéric Brechenmacher a noté que « Dessiner c'était savoir ». La tradition a persisté malgré être écartée au vingtième siècle.
La communauté Illustrating Mathematics, formée lors d'un semestre de ICERM en 2019, rassemble des mathématiciens qui développent des images, modèles, logiciels et expériences de mathématiques.
Source: Hacker News · Résumé par HeadlinesBriefing