alt Hacker NewsSo they could also dump a 100 quadrillion line proof in Bourbaki notation and call it a day?
The proof was released in the spirit of being first at all costs without any attempt to clean it up. I doubt that OpenAI mathematicians could give a coherent talk about it, certainly not using a blackboard.
Sure, why not? They can publish whatever they want, then the public can choose to ignore it, criticize it, or accept it.