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:

Show Post

Mostly solved as in knocked out huge subproblems that make the end of the ride easier, but neither Clay Math nor anyone else have said it's curtains on the whole thing

Show Post

to tldr the drama for humans if nobody has: someone, who is a good mathematician working with other mathematicians and using LLMs, appears to have mostly solved Navier-Stokes. he then got forced to go public early because openai thought they could scoop him and threaten his career he has tenure.

Show Post

this case is probably the smoking gun of the level of rent seeking these AI lab CEOs are operating at

Show Post

He came to our studio for a demonstration and would only make eye contact or speak with the game director and his PR handler. He ghosted over the rest of us without making eye contact, leaving proffered handshakes hanging in the air.

Show Post