搜索结果

陶哲轩警告：OpenAI 722份手稿正把数学推进“证明过剩”时代

OpenAI于2026年10月6日无预警公开超700个数学难题、722份手稿与约372组结果，大量证明通过Lean机器核验。陶哲轩随即在加州理工学院推翻原定讲座，以《Math 2.…