Comment by 1234-1298
7 hours ago
So 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.
[dead]