Some math-research items:
- Mura Yakerson has been doing a really wonderful series of interviews with mathematicians, available at her math-life balance web-page or Youtube channel. I’ve just started listening to some of them, including ones with Peter Scholze and Dustin Clausen (Clausen is John Tate’s grandson, the latest AMS Notices has a memorial article).
- There’s a remarkable report out from Peter Scholze about the progress of the Liquid Tensor experiment. Back when I first heard about this, I figured it was a clever plot by Scholze to get other people to help with a very complicated part of a proof, by getting them to work out the details, with the excuse being that they would be doing a computer check of the proof. Seemed to me very unlikely you could check such a proof with a computer, but that by forcing humans to try to disambiguate things carefully enough in preparation for a computer proof, he’d get a human-checked proof. Looks like I was wrong.
- For yet more Scholze news, the Fields Medal symposium this year will be devoted to his work.
- Trying to find something of interest in math, that wasn’t Scholze-related, I noticed this site devoted to the case of Azat Miftakhov, where there will be an online Azat Miftakhov Day program. Foiled though on the Scholze front, since he’s a speaker there, talking about Condensed Mathematics.
- The list of those giving plenary lectures at next years ICM is here.
Update: Kevin Hartnett at Quanta has a good new article up about quantum field theory and mathematics (an inexhaustible topic…)
Update: Also from the Simons Foundation, there’s a wonderful profile of my Columbia colleague Andrei Okounkov, who has been very active in bringing together mathematics and ideas from quantum field theory.