筛选结果
7 篇排序
0:31EN → 简体中文
Matthew Berman· 2026年9月13日Navier–Stokes 问题与 OpenAI 宣称的解答Matthew Berman · Forward FutureMatthew Berman 借助旋转流体的画面，介绍一道百万美元数学难题及 OpenAI 在 2026 年 9 月的公告。
0:49EN → 简体中文Matthew Berman· 2026年9月9日OpenAI 声称的 Navier–Stokes 结果与内部数学模型Matthew Berman · Forward FutureMatthew Berman 讨论 OpenAI 提出的证明，以及其内部模型与 GPT-6 Astra 的比较。数学结果和奖项状态仍待审查。
0:35EN → 简体中文Matthew Berman· 2026年9月9日Sebastian Bubeck 回应数学研究署名争议Matthew Berman · Forward FutureMatthew Berman 转述 OpenAI 研究员 Sebastian Bubeck 对其与一位名为 Levent 的数学家沟通情况的描述。
1:52:02EN → 简体中文Matthew Berman· 2026年1月17日Forward Future Live：AI 工程、企业智能体、数学与采用情况Matthew Berman, Nick Wentz, Austen Allred, Aaron Levie, Tudor Achim, Ara Kharazian · Forward FutureAusten Allred、Aaron Levie、Tudor Achim 和 Ara Kharazian 与 Matthew Berman、Nick Wentz 讨论 AI 如何改变工作，以及如何衡量其使用情况。
1:30EN → 简体中文Matthew Berman· 2026年1月12日Erdős 第 397 号问题的一份 AI 生成证明Matthew Berman · Forward FutureMatthew Berman 讨论 Neel Somani 借助 GPT-5.2 Pro 得到的证明，并推测 AI 的自我改进。后续研究发现，该问题早已有发表的人类解答。
8:16EN → 简体中文Matthew Berman· 2026年1月12日AI 与 Erdős 问题 397：经过验证的证明、先前成果和自我改进的前景Matthew Berman · Forward FutureMatthew Berman 讨论 AI 辅助数学研究，认为算法发现可能加速 AI 发展；问题 397 的历史则为这一讨论提供了重要背景。
0:34EN → 简体中文Matthew Berman· 2025年5月1日DeepSeek-Prover-V2 及其形式化数学评测结果Matthew Berman · Forward FutureMatthew Berman 介绍 DeepSeek 报告的 miniF2F、PutnamBench 和形式化 AIME 问题上的定理证明结果。