当OpenAI在一次新闻发布会上宣布其内部模型攻克了数学中最困难的开放问题之一时，我们曾写道，没有人见过这个证明。

现在情况不再如此了，最新发布的内容以公告中未曾提及的方式缩小了这一说法的范围。OpenAI已经发布了一份总结报告、一篇PDF论文以及……