筛选结果
4 篇排序
0:31EN → 简体中文
Matthew Berman· 2026年9月13日Navier–Stokes 问题与 OpenAI 宣称的解答Matthew Berman · Forward FutureMatthew Berman 借助旋转流体的画面，介绍一道百万美元数学难题及 OpenAI 在 2026 年 9 月的公告。
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 如何改变工作，以及如何衡量其使用情况。
0:34EN → 简体中文Matthew Berman· 2025年5月1日DeepSeek-Prover-V2 及其形式化数学评测结果Matthew Berman · Forward FutureMatthew Berman 介绍 DeepSeek 报告的 miniF2F、PutnamBench 和形式化 AIME 问题上的定理证明结果。