Terence Tao 21 et 23 Mars à Paris

C'est absolument formidable ! 

Ça me réjouit que Tao fasse sa conférence sur les preuves assistées par ordinateur !!!
Il y a quelques mois il avait pu organiser (avec K. Buzzard notamment et il y avait aussi E. Riehl !) un séminaire sur le même sujet (ce fil peut être intéressant).
Auriez vous des informations sur son rapport à un tel sujet ? S'il y a de gros projets à venir ?

J'ai l'impression que ce domaine explose (de plus en plus) (que ce soit sous l'influence de K. Buzzard ou P. Massot et cie., beaucoup d'étudiants s'intéressent à ce sujet en apprenant à programmer en Lean; il y a évidemment également Coq, Isabelle…; ou encore T. Gowers qui cherchait des doctorants et post-doctorants !; j'ai cru également lire à un endroit que Voevodsky avait lancé tout un programme sur un sujet connexe (?)).
Si en plus T. Tao s'implique… ça va être merveilleux !

Arrêtez ! vous allez réveiller Claude Allègre !

Vu le monde que ça va rameuter je ne compte pas y aller mais discuter de vive voix avec Tao plutôt que via Mathoverflow serait sympathique.

Comme convenu, il y a bien eu la remise de la Grande médaille à Terence Tao hier :