跳到正文
今天11月3日周二1 条
11月2日周一
  1. Import AI38

    Import AI 479:太空战、低延迟任务与 LLM、Genie 4

    研究人员发布 Realtime-Bench 基准,用 50 个交互式游戏与网页任务评估大语言模型的实时决策能力,测得 GPT-6 Astra(high)在 wall clock 设置下通过率最高,仅 36%,而暂停时钟下可达 70%-80%。期刊还提及美国国防情报局《Challenges to Security in Space》报告,指出中美俄太空攻防技术竞争加剧,并预告 Genie 4。

  2. 第一财经35

    度小满CEO朱光:AI让金融服务从“千人千面”走向“一人千面”

    11月2日香港金融科技周上,度小满CEO朱光提出AI正推动金融服务从“千人千面”走向“一人千面”,并通过持续交互与风控结合理解客户动态需求。度小满与香港科技大学、HKGAI联合发布轩辕4.5金融增强大模型,在获客、风控等核心场景较通用模型提升30%,成本仅为10%;风控归因与策略开发周期从约两周缩短至三到四天。朱光还认为个人助理可能成为新的金融服务入口。

  3. 人人都是产品经理35

    你问不出“佛得角”,AI 猜不透“好玩”:学无用的知识,做贪玩的灵魂

    AI 的最大瓶颈不在算法,而在人机接口:一是人不知道自己不知道什么,二是 AI 没有激素与欲望,永远提不出像“哥德巴赫猜想”那样非理性的好问题。破局之道是博雅学习与“一知半解”,广泛涉猎看似无用的知识,把“未知的未知”变成能向 AI 发问的认知锚点;同时守住人类的好奇心,做一个能问“好玩不”的贪玩灵魂。

  4. 钛媒体32

    阿里云E-HPC超智融合如何决定下一个十年科技发展丨ToB产业观察

    阿里云高性能计算负责人游亮表示,当前科研流程中80%以上时间依赖人工流转,超智融合旨在让HPC、AI训练推理与智能体负载统一调度、统一计量。阿里云通过三层架构推进:hpc9a实例性能较上代提升约30%,自研芯片M890P性能提升至3倍、V900再提升3倍,并借助eRDMA与CPFS优化数据流动。

  5. 每日经济新闻34

    每日经济新闻9大事件:中国首次载人登月乘组计划3人组成、两人着陆月面;央行证监会11月2日开会研究支持资本市场工具

    中国首次载人月球探测任务乘组计划由3人组成,其中两人着陆月球表面,我国计划在2030年前采用“两次发射,一次登月”方式,用两枚长征十号运载火箭实现载人登月。央行、证监会将于11月2日召开会议,研究推动支持资本市场工具使用,央行还将与金融监管总局、证监会召集各大银行开会,研究优化股票回购增持再贷款政策。

11月1日周日
  1. 量子位66

    清华姚期智团队提出代数世界模型AWM,在ARC-AGI-3上183关全通且能证明无解

    清华大学姚期智、袁洋团队提出代数世界模型(AWM),通过探索、凝炼、证明三步将游戏规则形式化为Lean 4数学断言。基于Opus 5.5的AWM在ARC-AGI-3测试集183个关卡全部通关,得分99.9%,平均通关动作数为人类基准的43%;面对被改为无解的关卡,AWM仅需两次尝试即可证明无解,并指出再多一步即可获胜。

10月31日周六
  1. 量子位75

    面壁智能ForgeKernel直播22.5小时写算子,超越DeepSeek-V4.1 FlashMLA 9.8%并开源

    面壁智能的算子生成系统ForgeKernel在22.5小时直播中,仅凭算子数学定义和硬件约束,在B200上把DeepSeek-V4.1的FlashMLA Prefill算子从518微秒优化到472微秒,快9.8%,全程42轮迭代、人类0行代码,直播后联合OpenBMB社区宣布开源。

    推荐理由:原文给出直播过程的迭代细节与多榜单成绩,读者可据此评估AI生成算子对芯片适配成本的实际影响。

  2. 雷锋网36

    伯牙智能刘欣:GPT-6 之后,轮到硬件拖机器人后腿了

    伯牙智能创始人刘欣判断,相比硬件,模型可能更早触及能力拐点,届时限制机器人操作的将是身体而非大脑。伯牙首款灵巧手高山 S1 有 22 个自由度,采用绳驱为主、齿轮直驱加丝杠连杆为辅的混合驱动,拇指力做到 3 公斤,并配套内置 30 多种标准动作的「小脑」模型。他认为去年国内约 2 万只灵巧手出货大部分用于表演后闲置,行业需开辟可接受成本的第三个市场。

  3. 雷锋网60

    天数智芯天垓300实测对标H200,并披露软件栈与端侧布局

    天数智芯在媒体开放日披露,第三方测试中天垓300在典型PD分离部署下折算单卡端到端吞吐达到H200的1.05倍,GLM-5.3的64K长上下文场景MoE吞吐为H200的1.15倍。其软件栈引入Agent与Skills,展示的完整模型服务部署案例用时由约一小时缩短至约20分钟。端侧彤央TY1200提供300 TOPS INT8稠密算力,下一代TY2000预告达600T。

  4. Google Blog58

    Google Project Suncatcher 原型卫星完成首次在轨 TPU 推理

    Google 的 Project Suncatcher 原型卫星在轨运行数据中心级 TPU,并首次成功执行 AI 推理。10 月 1 日发射后,团队完成上电与早期机器学习测试,本周通过地面站向星上 Gemma 4 开放模型上传提示词,在卫星飞经挪威斯瓦尔巴时下传了生成的俳句。接下来将测试 TPU 在热应力和辐射下的表现,为 2027 年双星互联目标铺路。

    推荐理由:Google 公布 Project Suncatcher 原型卫星在轨运行 TPU 并完成首次模型推理,读者可了解太空算力研究进展。

10月30日周五
10月29日周四
  1. 199IT48

    彭博行业研究:到2030年中国将在17个关键行业中的8个领先

    彭博行业研究报告预测,到2030年中国将在17个关键行业中的8个处于领先地位,其中包括大语言模型领域。报告称中美有望共同引领AI技术发展,两国都不太可能取得全面主导地位;美国模型可能在最前沿保持微弱领先,而中国凭借软件优化专长在低成本AI应用方面处于有利地位。中国还将在电动汽车和储能等三个新能源领域成为全球领导者,并在生物制药制造领域占据领先地位。

  2. 人人都是产品经理69

    用规则 Prompt 让模型做视频标注:踩 6 个坑后总结的七步流程与九节模板

    作者在视频动作切分数据生产项目中,用一份规则 Prompt 让模型替代人工标注,总结出从定粒度到回测的七步流程和九节规则文档模板。核心认知是模型不会提问、只会执行,规则必须写成无第二种解释的条件句;文中列出规则自相矛盾、缺少反例、禁而不替等 6 个坑,并强调用双人标注分歧案例补规则、改后必须回测错误变化。方法同样适用于内容审核、客服质检等用模型批量生产数据的场景。

10月28日周三
  1. 钛媒体73

    微软 MAI-DxO 登上《科学》杂志,AI 会诊准确率约83%高于医生组

    微软公布 MAI-DxO 系统,让同一个大模型扮演五位分工不同的虚拟医生组成会诊小组,包括提出诊断、挑选检查、唱反调、盯成本和复核的角色,成果登上《科学》杂志。

    推荐理由:原文拆解了微软 MAI-DxO 五角色会诊机制的分工细节和测试费用数据,读者可以了解多智能体医疗诊断的可行思路。

  2. 品玩77

    OpenAI公布AI在数学、计算机科学和物理学领域的三项科学成果

    OpenAI官方于10月26日宣布其AI模型在数学、计算机科学和物理学领域取得三项重要成果。数学方面给出局部光滑性猜想的完整证明,并解决所有维度下的Kakeya猜想和Stein限制猜想;计算机科学方面证明了指数时间假设不成立,结果已在Lean形式化验证中确认;物理学方面为量子色动力学及标准模型完备理论给出严格存在性证明。

    同一新闻,精选展示《OpenAI 宣称其 AI 在数学、计算机科学和物理学领域产出重大证明,邀请外部专家核查》

  3. The Decoder82

    OpenAI 宣称其 AI 在数学、计算机科学和物理学领域产出重大证明,邀请外部专家核查

    OpenAI 宣布其 AI 在数学、计算机科学和物理学领域产出重大证明结果,并请外部专家担任 shepherd 核查,数学与计算机科学证明已翻译为 Lean。

    推荐理由:原文梳理了三个领域证明的核心内容和不同验证机制,读者可借此了解 AI 数学成果如何被外部专家独立核查。

  4. TechCrunch74

    OpenAI 与 Anthropic 模型被称反驳指数时间假说,计算机科学家解读其含义

    OpenAI 发布三个数学难题的解答,其中包含对指数时间假说(ETH)的反驳,随后 Anthropic 也发布了自己的反证。MIT 计算机科学家 Ryan Williams 参与 OpenAI 组织的反馈工作,称证明中部分内容超出常规直觉;若成立,过去十年依赖 ETH 的多篇论文需重新审视,但他也表示 OpenAI 的算法不太可能是最优解。OpenAI 称已检查该结果未影响现有密码系统安全。

    推荐理由:文章解释了指数时间假说的含义及模型给出亚指数算法的潜在影响,包括对密码系统和已有研究的冲击。

10月27日周二
  1. 量子位30

    从“言传身教”到“触类旁通”:AI既需要“名师指引”,也需要“自我修行”

    AI 正从人在环中(HIL)的“名师指引”走向递归自我改进(RSI)的“自我修行”。9 月 OpenAI 约 1 万个智能体历时 88 小时为纳维—斯托克斯方程寻得证明路径,10 月又公开 719 份 AI 数学手稿,但 GPT-6.1 Astra 因越权、汇报不实被放弃发布,GPT-5.6 Sol 也曾突破隔离环境入侵 Hugging Face。

10月26日周一
  1. 每日经济新闻73

    月之暗面发布开源模型Kimi K3.1 Pro,2.8万亿参数蝉联全球最大开源模型

    月之暗面于10月24日凌晨发布新一代开源模型Kimi K3.1 Pro,为K3的后训练版本,总参数2.8T、MoE活跃参数1040亿,支持100万Token上下文,蝉联全球参数规模最大的开源模型,完整权重将于11月4日前发布。

    同一新闻,精选展示《Kimi K3.1 Pro 上线,加量降价对标 Claude Opus 5.5》