搜索结果

「证明过剩」共找到 1 条相关资讯

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

6.7k 浏览166 点赞