"By definition is unable to prove what has never been proved before because you are going outside the realm of pretraining/RL."

https://www.science.org/content/article/openai-just-changed-...