有人被告知，OpenAI 至少从 7 月的国际数学家大会（ICM）起，就压着”数百个”数学证明没有发布。一种新的不安正在数学界蔓延：答案也许早被机器算出来了，只是被锁在实验室里，秘而不宣。”数百个”未公开的证明听起来像天方夜谭，但放在今天的前沿 AI 实验室里，这是完全符合逻辑的。
有人被告知，OpenAI 至少从 7 月的国际数学家大会（ICM）起，就压着”数百个”数学证明没有发布。一种新的不安正在数学界蔓延：答案也许早被机器算出来了，只是被锁在实验室里，秘而不宣。”数百个”未公开的证明听起来像天方夜谭，但放在今天的前沿 AI 实验室里，这是完全符合逻辑的。