2026-10-28
Axiom 开源数十个 AI 智能体 24 天完成 15000 页有限单群分类定理形式化
Axiom 发布开源 GitHub 仓库，数十个 AI 智能体用 24 天把约 15000 页的有限单群分类定理（CFSG）数学证明转成约 4300 万行代码，该证明原本由 100 位数学家耗时数十年完成。代码用 Lean 编写，每一步可被机器验证，无需重读数百篇论文。
最新更新
首页已经看过的不重复列。下面从更早的内容继续，可以一直往下滚。
2026-10-28
某朋友： 软件黑客松这种互联网时代的老登活动，为什么有那么多AI时代的小登喜欢玩？ 也许现在应该搞科学黑客松，医疗黑客送。 我们手中握着核弹级别的智能，不应该只是想去做点软件产品。
某朋友： 软件黑客松这种互联网时代的老登活动，为什么有那么多AI时代的小登喜欢玩？ 也许现在应该搞科学黑客松，医疗黑客送。 我们手中握着核弹级别的智能，不应该只是想去做点软件产品。
2026-10-28
poteto 将管理 X 账号的 Grok Bot 模板 tibot 分享出来
poteto 把自己用来管理 X 账号的 Grok Bot 模板 tibot 分享出来，安装入口为 https://x.ai/bot/xZ4wRvomWqzCXnyYFr7i3。
2026-10-28
Hermes Agent 用 Meshy 生成游戏 3D 资产
⚔️ 1 条提示词。5 个可直接用于游戏的 3D 资产。一个俯视角地牢游戏。 Hermes Agent 端到端运行 Meshy：一个剑士英雄、2 个骷髅灯笼幽灵、一个罐子、一个宝箱、一支火把，英雄在 6 分钟内完成绑定和动画。 🎮 全部 5 个都进了游戏，花费 191 credits。 现在就在 Hermes 上构建你自己的吧。
2026-10-28
面向LLM读者的RL术语详解
干得像沙漠般的一篇，关于 RL Terms。 RL 术语很多，且不好理解，例如： policy、state、action reward、return、value、advantage baseline、TD error、GAE clipping、KL 这篇用一个例子把 RL 的术语写给 LLM 读者（依然太干了，RL 真的很难写得生动有趣）
2026-10-28
写给 LLM 读者的强化学习术语：一个分数如何分到每个 token
马东锡 NLP 发布长文《写给 LLM 读者的强化学习术语》，用一个"Is OpenAI open?"的例子串讲 policy、state、action、reward、return、value、advantage 等 RL 术语。
2026-10-28
Nathan Lambert 谈 AAv5 指数与开源模型评测
我觉得有必要同时为 AAv5 指数和开源模型辩护。基准评测比大多数人以为的更混乱、更主观，也更棘手。
2026-10-28
摩尔线程开源 Megatron-MUSA-Titan，聚焦万卡级集群万亿参数 MoE 模型训练
摩尔线程宣布开源大模型训练基础设施项目 Megatron-MUSA-Titan，基于其全功能 GPU，面向万卡级集群的万亿参数 MoE 模型训练，覆盖预训练与强化学习两大场景。
2026-10-28
中国医生为 66 岁失明患者植入脑机接口，相机信号直连视觉皮层
中国医生为一位因视网膜色素变性失明的 66 岁女性植入脑机接口（BCI），将相机信号直接传输到她的视觉皮层。她现在可以独立行走、阅读文字，并看清孙子长多高了。
2026-10-28
Terk Terkowitz：AI 工具帮不上你的工作，这是发现而非失败
Amazon 工程领导层 Terk Terkowitz 在关于 AI 时代开发者角色的更新中表示，如果当前 AI 工具对你的工作没有帮助，那是一项发现，而不是失败。他建议记录原因、与同行社区分享、反馈给管理者并共同寻找解决方案，并称能说清 AI 在何处尚无法帮助工作的工程师，正展现了所期望的判断力。
2026-10-28
OpenAI 员工撰文探讨 AI 进入企业组织架构的三种方式
OpenAI 员工 Hemanth Asirvatham 和 Elliott Mokski 发表下一篇经济系列文章，探讨 AI 进入企业组织架构的三种情形：在每位员工之下形成 AI 劳动力 basement、作为同事穿插在现有组织图中、以及夹在人类之间充当协调层。
2026-10-28
小红书与 Rokid 合作：蜜薯 Personal Agent 如何用智能眼镜走进真实世界
小红书 2049 Lab 与 Rokid 合作，以智能眼镜为载体打造 AI 生活搭子“蜜薯”，在用户授权下按需感知现场，把大模型能力、社区经验与个人情境连接起来。文章介绍了蜜薯的整体架构，以及实时多模态全双工、Proactive 与 Memory 三部分如何协同支撑边看边聊的体验。团队还探讨了通向 Personal OS 的技术路径。
2026-10-28
Google DeepMind 发布 Genie 4 世界模型
Google DeepMind 发布 Genie 4，称其为最逼真的交互式世界模型，支持自然语言操控和原生音频，先向 Trusted Testers 开放，之后登陆 Google AI Ultra 和 Gemini API。
2026-10-28
OpenAI 的 Vaibhav 即将在巴黎见面
冲啊巴黎，马上就能见到你们了，好激动！！🙌
2026-10-28
Voxtral Mini Transcribe 3 语音榜单第二
Voxtral Mini Transcribe 3 在 Voice Arena 的说话人分离 + ASR 榜单上排名第 2。
2026-10-28
深演智能与百度智能云达成战略合作，用百度伐谋重塑企业预测—决策—供应链全链路
10月27日，深演智能与百度智能云签署战略合作协议，围绕智能销量预测、供应链智能优化、用户洞察与产品匹配三大方向展开合作。双方将以百度伐谋平台为底层技术，共同开发物流配送网络优化、仓配一体化统筹等供应链决策智能体，并共建引入百度搜索数据与大模型的新一代AI销量预测体系。
2026-10-28
东莞中学生走进百度智能云具身智能训练场，实操机械臂与人形机器人
10月21日下午，东莞中学万江龙湾学校53名初中生走进百度智能云承建运营的东莞具身智能训练场，通过科普课、观摩数据采集与机器人调测、操控机械臂抓娃娃和人形机器人射门等环节体验具身智能。该训练场于2026年9月8日启用，面积约5000平方米，配备机器人本体50余台、数据采集设备100余台，已规划13个产业场景、服务35家具身智能企业。
2026-10-28
Liquid AI 发布 LFM3 模型家族，首批多款模型均基于 LFM3-1.7B-Base
Liquid AI 于当地时间 27 日发布 LFM3 模型家族，采用全新的三混合层架构，在 22T 词元上预训练。首批包括 LFM-1.7B（文本）、LFM3-VL-2B（视觉）、d1-2B（决策）、LFM3-Audio（音频）、LFM3-Omni-2B（全能）和 d1-Omni-2B（全能决策），均基于 LFM3-1.7B-Base。
2026-10-28
苹果诉 OpenAI 案新进展：法官允许苹果扩大取证范围
苹果起诉 OpenAI 和 io Products 及两名前员工 Chang Liu、Tang Tan 窃取商业机密一案中，法官 Edward Davila 已批准苹果扩大取证范围，可提前获取部分内部文件、证据和员工证词。
2026-10-28
Anthropic S-1 显示 90% 增量毛利，SemiAnalysis 播客详解其中数字
Saito 转述 SemiAnalysis 播客对 Anthropic S-1 的解读：招股书口径为增量毛利 90%、推理毛利 85%、连续两个季度盈利，Q1 净收入留存达 500%，收入同比涨 1368% 而算力费用只涨 300%。
2026-10-28
中国医生为66岁视网膜色素变性致盲女性植入 BCI 芯片，可独立行走并阅读文字
中国医生为一位因视网膜色素变性失明的66岁女性植入 BCI 芯片，将摄像头信号直接传送到大脑，画面效果类似80年代复古显示器。目前她已能独立行走、阅读文字，并第一次看清孙子长了多高。
2026-10-28
OpenAI被曝将向谷歌采购TPU芯片，算力供应链格局再变
OpenAI被曝将向谷歌采购TPU芯片，算力供应链格局再变 · · Oct 28, 2026 10月28日消息，据媒体报道，作为全球人工智能领域的头部玩家，OpenAI正计划向谷歌采购人工智能芯片。长期以来，OpenAI一直是英伟达图形处理器（GPU）最重要的买家之一，主要依赖其芯片来完成海量AI模型的训练与复杂的推理运算。
2026-10-28
央视实测 AI 可复原被打码的二维码，专家提示覆盖 90% 区域可防破解
央视新闻实测发现，AI 图片工具能否复原被打码的二维码，取决于涂鸦是否盖住核心数据区：只遮挡外围或涂得不够厚时能复原成功，厚涂至完全覆盖则无法复原。专家提醒，处理二维码时应尽可能把 90% 的区域都打上马赛克。
2026-10-28
豆包公关回应"15 万群演被喂模型"：传言严重失实
豆包公关回应"15 万群演被喂模型"：传言严重失实 · · Oct 28, 2026 豆包公关负责人刘星当日发文，针对近日流传的"横店与字节合作、将 15 万名群演的肖像和声音喂给字节大模型"的说法，直接定性为"严重失实"。
2026-10-28
Claude Duet 向美国 Max 用户开放
ANTHROPIC 🔥：Claude Duet 正在向美国 Claude Max 用户推送，美国 Pro 用户接下来也将陆续开放。 > 美国以外的更广泛扩展也在计划中，但目前没有时间表。 预计欧盟用户可能要等更久。 不会很快 👀
2026-10-28
抖音治理 AI 恶意营销号，近一月处置违规账号 50.7 万个
抖音黑板报公告治理滥用 AI 工具的恶意营销号，近一月累计处置违规短视频 113.5 万条、违规账号 50.7 万个，30.2 万个账号参与规则学习考试后规范创作。公告列举五类问题，包括 AI 生成诱导互动内容、数字人仿冒公众人物带货、批量炮制虚假信息、恐怖迷信猎奇内容，以及低成本复制爆款模板批量起号，并称部分账号背后存在教学黑产组织运营。
2026-10-28
ASIC 设计企业智原收获 AI 芯片开案：三星 2nm，3D 堆叠 DRAM
IT之家 10 月 28 日消息，芯片 IP 与设计服务企业智原科技 (Faraday Technology) 昨日在企业 2026Q3 财报中宣布获得美国客户重要开案， 设计制程、设计复杂度、NRE 金额、先进封装均创下公司记录 。 IT之家获悉，这是一款面向云端的 AI 芯片，同时支持 FP64 计算（应兼顾 HPC 任务）。
2026-10-28
中国医生为失明患者植入脑机接口，将摄像头信号直接传入视觉皮层
中国医生为一位因视网膜色素变性失明的 66 岁女性植入脑机接口（BCI），将摄像头信号直接传输到她的视觉皮层。据转述，她现在可以独立行走、阅读文字，并看到孙子长高了多少。
2026-10-28
豆包公关负责人刘星否认横店与字节合作将15万群演肖像声音喂给大模型
豆包公关负责人刘星10月28日发文称“横店与字节合作，将15万名群演的肖像和声音喂给字节大模型”的传言严重失实。他表示横店影视AI服务平台项目是建设公共数字基础设施，把影视基地实景等资产做成高质量数据集，帮助剧组选景、筹备和拍摄；火山引擎是技术支持方，数据资产归横店或授权方所有，涉及肖像和声音需本人授权，项目数据不会用于训练字节大模型。
2026-10-28
外国博主用AI耳机当看诊翻译:“直接听、直接翻，整个交流会顺很多”
外国博主用AI耳机当看诊翻译:“直接听、直接翻，整个交流会顺很多” · · Oct 28, 2026 “这是我 第一 次真正听懂了中医的话。”近日，外国博主“Carlo吴（卡罗）”在社交平台分享了一次看中医的经历。这次，他带上千问AI耳夹式耳机，给自己和医生各戴上一只，用面对面翻译帮助交流。 卡罗在视频中说，自己觉得传统医学很有意思，但语言始终是一道障碍。
