筛选结果
66 篇排序
0:31EN → 简体中文Navier–Stokes 问题与 OpenAI 宣称的解答Matthew Berman · Forward FutureMatthew Berman 借助旋转流体的画面,介绍一道百万美元数学难题及 OpenAI 在 2026 年 9 月的公告。
0:58EN → 简体中文模拟果蝇的驾驶与游戏演示Matthew Berman · Forward FutureMatthew Berman 展示果蝇驾驶和玩游戏的虚拟场景,并畅想未来的脑模拟。
0:59EN → 简体中文一款瞄准蚊子的激光设备Matthew Berman · Forward FutureMatthew Berman 介绍了一种拟议的激光灭蚊设备,以及一段简短宣传视频中宣称的功能。
0:55EN → 简体中文AGI、递归自我改进与超级智能Matthew Berman · Forward FutureMatthew Berman 介绍三个 AI 术语,并解释他对这些能力可能如何发展的预期。
44:52EN → 简体中文Anthropic 递归自我改进报告:证据、局限与减缓 AI 发展的争论Matthew Berman · Forward FutureMatthew Berman 解析 Anthropic 在 2026 年关于 AI 辅助开发、研究基准测试及自主自我改进可能路径的论述。
1:03EN → 简体中文为什么《EVE Online》适合用于 AI 研究Matthew Berman · Forward FutureMatthew Berman 解释游戏中持续运转的经济和玩家联盟为何可能为长期规划能力提供高难度测试。
17:21EN → 简体中文DeepSeek V4、模型效率与中美 AI 之争Matthew Berman · Forward FutureMatthew Berman 讨论 DeepSeek 在 2026 年 4 月发布的 V4 预览版,认为高效的开放权重模型为美国 AI 供应商和政策制定者提出了问题。
11:55EN → 简体中文模拟果蝇引发关于大脑仿真的疑问Matthew Berman · Forward FutureMatthew Berman 研究基于神经连接组的虚拟果蝇,并思考它对神经科学、意识和模拟理论可能意味着什么。
0:43EN → 简体中文培养神经元接口控制 Doom 游戏Matthew Berman · Forward FutureMatthew Berman 介绍 Cortical Labs 的一项演示,其中培养的人类神经元活动与电子游戏中的操作相连接。
1:30EN → 简体中文Erdős 第 397 号问题的一份 AI 生成证明Matthew Berman · Forward FutureMatthew Berman 讨论 Neel Somani 借助 GPT-5.2 Pro 得到的证明,并推测 AI 的自我改进。后续研究发现,该问题早已有发表的人类解答。
8:16EN → 简体中文AI 与 Erdős 问题 397:经过验证的证明、先前成果和自我改进的前景Matthew Berman · Forward FutureMatthew Berman 讨论 AI 辅助数学研究,认为算法发现可能加速 AI 发展;问题 397 的历史则为这一讨论提供了重要背景。
1:56EN → 简体中文语言模型能察觉注入的概念吗?Matthew Berman · Forward FutureMatthew Berman 介绍 Anthropic 的一项实验:模型有时能报告其内部激活受到的人为改变。
8:42EN → 简体中文DeepSeek-OCR 与视觉上下文压缩的设想Matthew Berman · Forward FutureMatthew Berman 介绍一款 2025 年的 OCR 模型,以及用更少视觉 token 表示文档文本的可能性。
13:53EN → 简体中文微型递归模型与谜题基准比较的局限Matthew Berman · Forward FutureMatthew Berman 研究一种在 ARC 和数独上报告强劲结果的小型递归网络,以及其实验设置的意义。
14:47EN → 简体中文2025 年 9 月 AI 新闻:OpenAI 编程测试、Meta REFRAG 与新智能体工具Matthew Berman · Forward FutureMatthew Berman 盘点竞赛成绩、高效检索、智能体支付、3D 世界和模型发布,同时介绍 Waymo 与 AI 视频的进展。本期区分了公告、研究声明、传闻和已确定的结果。
8:47EN → 简体中文为什么温度为零时,相同的 LLM 提示词仍可能产生不同回答Matthew Berman · Forward FutureMatthew Berman 解读 Thinking Machines Lab 关于批次不变推理的研究,以及其可复现性实验实际展示了什么。
10:28EN → 简体中文OpenAI 的 gpt-oss 模型:开放权重、基准与安全Matthew Berman · Forward FutureMatthew Berman 回顾 120b 和 20b 模型、本地部署说法、部分评估,以及 OpenAI 安全测试的范围。
12:14EN → 简体中文AI 新闻:Windsurf 收购、Meta 算力计划、Grok 与 VoxtralMatthew Berman · Forward Future一份 2025 年 7 月的新闻汇总,讨论开发者工具交易、AI 基础设施、模型行为、奖励方法和语音识别。
15:23EN → 简体中文Grok 4 初期反响:出色演示、安全疑问与褒贬不一的用户反馈Matthew Berman · Forward FutureMatthew Berman 回顾业界对 xAI 在 2025 年发布的新模型的初期反应,涵盖物理模拟、基准测试以及对偏见、安全和速度的担忧。
27:40EN → 简体中文Seedance 1.0 与 Veo 3:一次非正式文生视频对比Matthew Berman · Forward FutureMatthew Berman 通过体操、动作、动画和奇幻场景,比较画面质量、运动表现与提示词遵循程度。
14:25EN → 简体中文2025 年 6 月 AI 新闻:Gemini Flash-Lite、视频工具与 OpenAI 谈判Matthew Berman · Forward FutureMatthew Berman 回顾实时界面演示、新生成式工具、AI 人才招聘以及 OpenAI 与 Microsoft 的关系。
11:38EN → 简体中文2025 年 6 月 AI 新闻:Magistral、语音模型与图像生成Matthew Berman · Forward FutureMatthew Berman 回顾 Mistral 推理模型、语音和浏览器更新、Meta 与 Scale AI 的相关报道,以及 FLUX.1 Kontext。
0:26EN → 简体中文虚拟 20×20 魔方求解器演示Matthew Berman · Forward FutureMatthew Berman 打乱一个虚拟魔方,展示它恢复到看似完成的状态。
0:34EN → 简体中文DeepSeek-Prover-V2 及其形式化数学评测结果Matthew Berman · Forward FutureMatthew Berman 介绍 DeepSeek 报告的 miniF2F、PutnamBench 和形式化 AIME 问题上的定理证明结果。
加载更多已显示 24 篇,共 66 篇









