“证明”
用英语怎么说？

In September 2026, computer scientist Dor Minzer heard persistent rumors that OpenAI was close to solving the famous unique games conjecture. This problem is an iconic question in computational complexity theory. Minzer and his graduate students had recently achieved a milestone result on a related question. Fearful of being overshadowed by an AI announcement, the team rushed to finish their draft. Prioritizing completeness over style, they quickly posted a 95-page paper online with a disclaimer explaining that the draft was mathematically sound but still unpolished. Their swift decision was vindicated when OpenAI published its own proof weeks later.

2026年9月，计算机科学家多尔·明泽尔听到了接连不断的传言，称OpenAI即将解决著名的“独特博弈猜想”。这个问题是计算复杂性理论中的标志性课题。明泽尔和他的研究生最近在一项相关问题上取得了里程碑式的成果。由于担心被人工智能的公告所掩盖，该团队匆忙完成了草稿。他们把完整性置于行文风格之上，迅速在网上发布了一篇95页的论文，并附带免责声明，说明该草稿在数学上是严密的，但仍未经润色。几周后OpenAI发布了自己的证明，他们的果断决定得到了证明。