Some math items that may be of interest:
- Zentralblatt Math has a review of Mochizuki’s IUT papers, by Peter Scholze. Scholze explains the problem with the proof claimed in these papers. For more details, see his manuscript with Stix, or this discussion hosted last year on this blog.
- The Bulletin of the AMS will be running a special issue on the work of Michael Atiyah. Available already are two wonderful articles: Michael Atiyah’s work in algebraic topology, by Graeme Segal, and The Atiyah-Singer index theorem, by Dan Freed.
- For a talk by Helmut Hofer about Andreas Floer and his work, together with contributions from others who knew Floer, see The Floer Jungle: 35 years of Floer theory.
- The latest AMS Notices has a memorial tribute to Steve Zucker, with a detailed discussion of his career and mathematical work. His collaborator David Cox explains that the origin of their collaboration was exactly what everyone has always suspected.
Update: The Scholze review has been removed (temporarily?). A cached version is here.
Update: The review was temporarily removed just because what was posted wasn’t a finalized version, this is explained here. They should repost once Scholze has a chance to make any final edits.
Update: The review is back up.
Update: Michael Harris has a new substack site, where he’ll be writing about the mechanization of mathematics. I’m glad to see someone doing this from his point of view.