筛选结果
2 篇排序
0:35EN → 简体中文
Matthew Berman· 2026年9月9日Sebastian Bubeck 回应数学研究署名争议Matthew Berman · Forward FutureMatthew Berman 转述 OpenAI 研究员 Sebastian Bubeck 对其与一位名为 Levent 的数学家沟通情况的描述。
0:34EN → 简体中文Matthew Berman· 2025年5月1日DeepSeek-Prover-V2 及其形式化数学评测结果Matthew Berman · Forward FutureMatthew Berman 介绍 DeepSeek 报告的 miniF2F、PutnamBench 和形式化 AIME 问题上的定理证明结果。