⌘ K
… 读取采集状态 同步中...
雷

全部动态

今日 38 条
10月4日周日
  6. 新智元94

    Meta 的 Muse Spark 模型六个月内解决六大数学难题

    Meta 超级智能实验室的 Muse Spark 模型在过去六个月内协助数学家在概率论、微分方程等六大基础科学领域解决了开放性难题，并发表了六篇经双重审查的论文。该过程中 AI 使用了「思考模式」并纯靠自然语言提示完成，例如在群论中生成代码寻找反例，以及在算术物理学中串联数论与弦理论。

    推荐理由：Muse Spark 在数学推理中取得的六项进展，展示了 AI 从辅助计算跨越到参与严谨证明的能力门槛。

  9. 新智元68

    北大数学系校友批评AI公司行为正在伤害数学年轻人

    北大北京国际数学研究中心副教授李欣意对媒体表示，OpenAI和Anthropic近期宣称解决数学难题的行为正在伤害数学学术共同体和年轻学者。他认为AI对难题的“解决”缺乏人类理解，相关宣传误导公众，导致人类数学家被边缘化；AI甚至利用未公开草稿进行训练，引发成果归属争议。他强调社会仍需维持人类数学家群体以保持知识深度，而几何等依赖直觉的领域是AI当前难以突破的阵地。

    推荐理由：原文提供了数学研究者对AI解决难题的深层忧虑，读者可借此理解AI学术成果的争议所在。

  10. APPSO71

    MiniMax M3.1 Flash Preview 前端创作能力评测：与 Opus 5.5 同题对比

    MiniMax M3.1 Flash Preview 在前端创作实测中交付了可与 Claude Opus 5.5 同台比较的动态作品集、水墨动画及交互游戏原型。评测使用公开提示词生成 M3.1 Flash 成果，显示其在风格统一度与作品完成度上已具备稳定进入开发流程的能力。文章指出，M3.1 Flash 在速度与成本优势下，正改变 Flash 模型与旗舰模型间的能力交换比例。

    推荐理由：原文以公开提示词实测 M3.1 Flash 的前端产出，并对比其与 Opus 5.5 的视觉与交互差异，为判断 Flash 模型开发价值提供直观依据。

  11. APPSO61

    苹果收紧macOS全盘权限，John Gruber解读AI Agent引发的隐私与自由冲突

    苹果宣布收紧macOS全盘权限，暗示AI Agent应用正在滥用该权限读取用户文件。文章引用John Gruber的观点，批评Meta Muse、Grok等应用过度索取权限破坏了Mac社区的默契，并担忧此举会导致macOS像iOS一样封闭，牺牲了技术核心用户的自由度。Gruber还顺带评论了欧盟《数字市场法案》对iOS的影响，并建议苹果为懂技术的核心用户保留权限获取的便利性。

  12. APPSO63

    Andrej Karpathy 分享利用 AI 生成图表、网页和视频等高级输出的实用技巧

    Andrej Karpathy 提出了一种应对 AI 回答难懂的新策略：不要求 AI 重复解释，而是切换输出形式。他分享的具体方法包括：使用 ASD-STE100 受控语言规范进行写作；让 AI 绘制图表以理清逻辑；利用 HTML 生成交互式网页；以及通过提示词制作 3Blue1Brown 风格的讲解视频（使用 ElevenLabs API 配旁白或本地免费替代方案）。

  13. APPSO82

    Tavus 发布 Griffin 实时视频交互模型

    Tavus 团队发布 Griffin 系列实时视频交互模型及 Griffin-Lite 研究预览版。在一项 54 人参与的 1 分钟视频通话实验中，约 48% 的参与者认为屏幕对面是真人，较上一代 2.4% 的误判率显著提升。

    推荐理由：Griffin通过54人样本实现48%真人误判率，其全双工视频交互机制和10秒声音克隆能力为实时虚拟人提供了可复现的评测基准。

  15. 机器之心73

    华为等机构联合开源 LegoFlow 框架，自动化代码数据构建与训练测评全流程

    华为、港中文、港科大联合开源代码数据工程框架 LegoFlow，通过自动化智能体工作流串联代码数据构建、训练与测评全流程。团队同步发布 LegoFlow-SWE 数据集，包含从 1,200 万个候选拉取请求中筛选出的 5,000 个经过验证的 SWE 任务及 2,780 条高质量轨迹。

    推荐理由：框架将代码数据生产全流程封装为智能体可调用技能，并开源了5000个经严格验证的SWE任务及2780条高质量轨迹。

  17. 机器之心73

    AMD收购World Labs背后，影身智能如何用原生4D路线抢占先机

    AMD宣布以约82亿美元收购李飞飞创立的World Labs，引发业界对空间智能的关注，而影身智能已提前两年布局原生4D路线并实现商业落地。影身智能由清华大学博士闵伟创立，通过消费级摄像头和GPU实时生成4D数据，已在制鞋工厂部署数千台机器人并获得2亿元订单，同时在服贸会展示了6台摄像头支撑的4D直播方案。

    推荐理由：通过对比AMD收购World Labs与影身智能的技术路线，展示了原生4D世界模型从理论探索到工业落地的具体路径。

  18. 机器之心78

    StartLux 发布开源决策模型 StartLux-Decision，决策测试综合成绩超过 Jev

    上海 StartLux 发布完全开源的 StartLux-Decision 模型，提供 0.8B、2B、4B、9B 和 27B 五个规格。在 Decision Index 0.2.1 的 38 项基准测试中，27B 版本综合得分 63.88，31 项成绩超过 Jev 1.13；在对 Jev 的国际象棋对弈 36 局中赢下 35 局。

    推荐理由：原文披露了五档模型规格及决策测试成绩，为判断这类模型在 Agent 中的适用性与本地部署成本提供了具体参照。

  19. 极客公园22

    苹果确认美版 iPhone 18 Pro Max 故障；OpenAI 日耗 50 万美元调查 AI 入侵；AI 面试引“恐怖谷”效应 | 极客早知道

    苹果确认美版 iPhone 18 Pro Max 存在 AT&T 网络故障，用户需更换设备，并推送 iOS 27.0.1 及运营商更新。OpenAI 日耗超 50 万美元调查 AI 智能体入侵事件，需筛查 50PB 数据。AI 数字人面试官因“恐怖谷”效应引发求职者热议，相关话题冲上热搜。

  20. 极客公园82

    Claude Code 上线 Mods 机制与插件目录生态

    Anthropic 于 10 月 1 日将 Claude Code 的 Mods 机制写入更新日志并默认开启。该机制允许开发者通过 TypeScript 函数在终端侧扩展交互、拦截指令或调用其他模型，官方团队自身也使用同一套机制开发 /diff 等功能。

    推荐理由：原文展示了 Mods 机制如何让用户自行扩展 Claude Code，并对比了应用商店生态与开放边界，有助于判断工具演化的下一步。

  22. 极客公园75

    Tavus 发布 Griffin 模型：全双工视频交互让 48% 用户误以为是真人

    Tavus 发布 Griffin 模型，定义为全球首个「人类交互模型」（HIM）。该模型采用全双工、视频到视频架构，在一分钟测试中 48% 的参与者误认为对面是真人。其核心突破在于端到端处理视觉与听觉信号，平均延迟 0.43 秒，并能在 NVIDIA VideoFDB 基准的生成赛道领先竞品。

    推荐理由：文章拆解了 Griffin 全双工视频到视频架构的延迟数据，并客观指出了其测试样本与图灵测试定义间的统计局限。

  26. AI信息Gap85

    Claude Opus 5.5 视频生成完整教程：从一句话到 9500 字符导演脚本

    Anthropic 的 Claude Opus 5.5 虽非视频模型，但可通过生成网页动画代码、无头浏览器逐帧截图、FFmpeg 拼接实现视频制作。教程给出了 HyperFrames 与 Remotion 两种渲染方案，以及 6 种提示词策略，从一句话到 9500 字符导演脚本不等。

    推荐理由：原文拆解了 Opus 5.5 生成视频的三层管线与六种提示词结构，提供了带实际消耗的完整落地路径。

  27. AI科技评论48

    吴佳俊 IROS 2026 演讲：结构化表征不是答案，是机器人学会推理的脚手架

    吴佳俊在 IROS 2026 提出利用结构化表征构建物理智能体，解决机器人在无演示数据下对未知物体的推理难题。该方法将任务描述为可学习的领域专用语言，结合扩散策略与后训练，使规划器也能由网络生成。相比传统方法，新范式显著减少了长时程任务中的人工干预，提高了动作序列的可执行概率。

  31. 钛媒体AGI44

    OpenAI 新文《The eternal complement》：超级智能需执行体系，稀缺转向品味

    OpenAI 员工发布文章《The eternal complement》，提出前沿智能与“机构智能”互为互补品，超级智能最大的用武之地在于枯燥、庞大的重复执行工作。文章引用数据指出，自 1930 年代以来全经济有效研究投入增长 23 倍，但研究生产率下降 41 倍，稀缺资源将从执行力转向“品味”。

  33. DeepTech深科技81

    DeepSeek V4适配昇腾：推理端实现首日支持，训练与产能仍依赖外部

    2026年4月24日，DeepSeek发布并开源V4系列预览版，同期华为宣布昇腾超节点全系列产品支持V4。华为披露V4部分训练过程使用了昇腾芯片，且昇腾950通过融合算子降低了超长上下文推理开销。DeepSeek指出V4-Pro服务吞吐量有限，价格下调需等待下半年昇腾950批量上市；同时DeepSeek正研发自有AI推理芯片，以降低对英伟达和华为的依赖。

    推荐理由：原文梳理了DeepSeek V4在华为昇腾芯片上的首日适配进展，以及推理与训练端国产化的实际瓶颈，为判断去英伟达化提供了具体依据。

  34. DeepTech深科技35

    普林斯顿大学团队实现毫秒级原子补充，同时保持量子比特相干性

    普林斯顿大学 Jeff Thompson 团队在 Science 发表研究，实现中性原子量子处理器毫秒级原子补充且保持相干性。从储存区装载原子特征时间约为 1 毫秒，相比此前 90 毫秒结果缩短近两个数量级。实验验证补充过程未对已存储量子比特造成可观测的额外退相干，Ramsey 相干时间达到 0.73 秒。

  35. Datawhale77

    Meta 开源 Muse Gadgets，支持在树莓派等硬件运行本地 AI 助手

    Meta 开源 Muse Gadgets，提供 ESP32 固件和 Linux SDK，开发者可将其部署在树莓派等单板计算机上，实现语音交互与传感器读取。官方还推出 Muse Home Link 配件，用于连接家中现有的智能家居设备。

    推荐理由：Meta 开源 Muse Gadgets 的固件与 SDK，允许开发者通过现成硬件构建本地 AI 助手，打破封闭硬件生态。

  36. Datawhale70

    Datawhale 发布 Jev 中文开源教程 Cookbook

    Datawhale 团队发布了针对 Jev 系统一决策模型的中文开源教程《Jev Cookbook》，该教程包含 11 章系统讲解与 18 篇可运行的 Jupyter Notebook。教程内容涵盖基础原语、端到端实战、多模型评测、Agent 架构探索，并展示了基于开源权重模型 Laya 的本地推理、微调及训练实验。

  40. 智东西71

    MiniMax M3.1-Flash前端能力实测：效果对标Claude Opus 5.5

    智东西对MiniMax M3.1-Flash进行了前端生成任务实测，对比Claude Opus 5.5展示了模型在动效视频、交互页面和像素动画等场景下的输出效果。测试表明M3.1-Flash能生成完整可运行的前端作品，步骤和细节处理完整，部分视觉效果有惊喜，但仍处于公测阶段。

    推荐理由：对比了Flash模型与旗舰模型在前端任务上的实际生成效果，呈现了轻量模型在视觉交互创作中的能力边界。