alongside it is largely garbage, openai still has generated a lean proof of finite-time NS blowup. that's not nothing, t…

alongside it is largely garbage, openai still has generated a lean proof of finite-time NS blowup. that's not nothing, that's still a marvelous result. the complicated artifact can be picked apart to try to reverse-engineer the proof, that would be interesting research in and of itself