筛选结果
7 篇排序
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 的数学家沟通情况的描述。
15:37EN → 简体中文Matthew Berman· 2026年8月4日Matthew Berman 谈 Qwen3.8-Max、AI 成本与开放权重竞争Matthew Berman · Forward Future一场 2026 年对已公布的基准测试和研究演示的评析，引出了部署经济性与地缘政治依赖的问题。
8:16EN → 简体中文Matthew Berman· 2026年1月12日AI 与 Erdős 问题 397：经过验证的证明、先前成果和自我改进的前景Matthew Berman · Forward FutureMatthew Berman 讨论 AI 辅助数学研究，认为算法发现可能加速 AI 发展；问题 397 的历史则为这一讨论提供了重要背景。
0:58EN → 简体中文Matthew Berman· 2024年11月18日一项已撤回的 AI 研究与科学发现的问题Matthew Berman · Forward Future一段 2024 年视频引用了与 MIT 有关的一篇预印本；arXiv 后来撤回了该论文，MIT 表示其结论不应被依赖。
11:10EN → 简体中文Matthew Berman· 2024年11月13日AI 与科学发现：一段 2024 年视频中后来撤回的研究Matthew Berman · Forward FutureMatthew Berman 讨论 AI 辅助研究与递归改进；视频的核心预印本后来因数据有效性受到严重质疑而撤回。
18:43EN → 简体中文Matthew Berman· 2024年8月22日Sakana AI 的 AI Scientist 与自动化科研的前景Matthew Berman · Forward FutureMatthew Berman 介绍一套 2024 年用于生成和评估机器学习研究的系统，并认为自动化最终可能加速 AI 进步。