Mathpocalypse

By now most of us have heard about the “mathpocalypse” giant drop of AI-generated unreadable slop-papers by open-AI. Many with attached lean formalization, which prove correctness of the result beyond the shadow of a doubt, and suggest more or or less that the natural language proofs are correct as well. Among that, a lot of very important results! Unique games conjecture theorem, incredible progress on the Riemann hypothesis, faster fast fourier transform (and integer multiplication) in O(n\,\...