OpenAI 疑用 AI 证明百万美元复杂度猜想

OpenAI 发布的 AI 疑似证明了其妻、复杂度理论家 Dana Moshkovitz 提出的复杂度猜想，可能成为数学史上的历史性时刻。该猜想源自 OpenAI 悬赏百万美元、要求 AI 解决尚无公开解答的前沿数学问题的挑战，细节由 Scientific American 长文披露，并在 Curt Jaimungal 的播客中获 Scott Aaronson 谈及。