For anyone not following the drama, there's been apparently a big development in ai math, along with some accusations of very bad behavior by OpenAI. But we don't have details yet. If I understand it, Buckmaster and Levent Alpoge made a big discovery on Navier-Stokes. Events go something like this:
copying here so it's in-thread too bsky.app/profile/mbar...