OpenAI 公布数学、计算机科学与物理三项发现，并尝试与学界合作新方式

OpenAI 公布数学、计算机科学和物理三项“重大”发现，其中数学与计算机科学结果已连同 Lean 证明发布到 GitHub。计算机科学部分称证明指数时间假设（ETH）为假，由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领衔的独立小组审阅解释；物理部分尚未完整公开，David Gross 将带队把关。