| "So if proper mathematicians aren’t interested in a proof of the odd order theorem, what are they interested in? Example: Perfectoid spaces. (Topic) - Proof of odd order theorem - Perfectoid spaces Got author a Fields Medal? - Yes (1970) - Yes (2018) High level mathematics? - No - Yes Lots of PhD students and post-docs working in the area? - No - Yes Talks happening about these things all over the world? - No - Yes Mathematicans interested in 2019? - No - Yes Earlier this year, Patrick Massot, Johan Commelin and myself formalised the definition of a perfectoid space in Lean. I am getting invitations from across the EU to speak in mathematics departments about the work. Serious piece of research, or elaborate PR stunt? Maybe both." They may be learning more than programming from their contacts in the computer department. Is always much easier to get something out there when it is fully buzzword compatible. |