2026-10-27
Axiom 用 AI 智能体 24 天完成有限单群分类定理的 Lean 完整形式化
Axiom 宣布完成有限单群分类定理的 Lean 自动形式化，这是数学史上最长的证明，原证明约 15000 页、500 多篇论文、约 100 位作者。约 4000 万行代码由成群的 AI 智能体在 24 天内写出，数学家负责引导。
最新更新
首页已经看过的不重复列。下面从更早的内容继续，可以一直往下滚。
2026-10-27
Mustafa Suleyman 宣布 MAI-Image 升至全球图像编辑模型第二
Microsoft AI CEO Mustafa Suleyman 宣布 MAI-Image 现居全球图像编辑模型第二，称再次超越 Google、Meta、xAI 和 GPT-Image-2.5-Flare，可在 MAI Playground 试用。
2026-10-27
Microsoft AI 发布 MAI Image 2.7 图像编辑模型，登 Arena 第 3 和 Artificial Analysis 第 2
Microsoft AI 发布图像编辑模型 MAI Image 2.7 预览版，在 Arena Edit 排名第 3（使 Microsoft AI 成为第 2 的实验室），在 Artificial Analysis 图像编辑榜单排名第 2。
2026-10-27
Spark-X2.6-1.7B 发布：紧凑模型带来更强的编程与智能体能力
Spark-X2.6-1.7B 发布，在编程与智能体任务上的基准测试成绩较前代显著提升，提供紧凑的 1.7B 参数模型，针对端侧部署优化，并支持多种量化格式。
2026-10-27
Microsoft MAI-Image-2.7-Preview 在 AA-Image-Editing v2.1 排名第二
Artificial Analysis 评测显示，Microsoft AI 新图像编辑模型 MAI-Image-2.7-Preview 在 AA-Image-Editing v2.1 排名第二，仅次于 OpenAI 的 GPT Image 2.5 Sunburst (max)，并全面超越 8 月发布的 MAI-Image-2.6。
2026-10-27
Maya 2 TTS：十一种印度语言，一个尴尬的文件夹名
Maya Research 发布 Maya 2 Native，一个 Apache 2.0 许可的 TTS 模型，覆盖 11 种印度语言及英语，印地语基准表现有竞争力，但在 5 GB 权重和 API 延迟细节上存在实际部署限制。
2026-10-27
C-BRAIN 联合 NVIDIA 推出 OpenScientist 和 InsightEngine 加速阿尔茨海默病研究
C-BRAIN 与 NVIDIA 合作，利用 AI 加速阿尔茨海默病研究，已推出两个开源工具 OpenScientist 和 InsightEngine，覆盖超过 200 个研究团队。
2026-10-27
一笔 9 亿美元银行误付款，给 AI 智能体治理什么启示？｜Two Sigma 的 John Feminella
John Feminella 从 Revlon 贷款误付款切入，说明企业如何用五类可组合的控制，让智能体拥有实用自主权，同时落实与风险相称的边界。
2026-10-27
微软 MAI Cyber 1.1 Flash 发布：MDASH 漏洞扫描成本降低 18%
微软推出 MAI Cyber 1.1 Flash，在内部 MDASH 漏洞扫描评测集上性能与 MAI Cyber 1 Flash 相当，每次扫描成本降低 18%。该模型承担更多工作，让整个 MDASH 系统以更低成本产出有效发现。目前 MAI Cyber 已占 MDASH 全部扫描的近 50%，新模型面向已验证的 MDASH 客户开放。
2026-10-27
Meta AI 前总监 Rohit Patel 创办 Ndoc，瞄准替代 Microsoft Office 和 Google Workspace
在 Meta 开发 AI 八年后，前 Meta Superintelligence Labs 总监 Rohit Patel 创办 Ndoc，定位为 AI 原生的 Microsoft Office 和 Google Workspace 替代品。
2026-10-27
GPT-6.1 Terra 实测：操控浏览器与电脑任务
GPT-6.1 Terra 发布后实测速度很快、效果与稳定性不错且省成本，适合日常处理操控浏览器和电脑的常规任务。作者已将默认模型从 GPT-6.1 Sol high 切换为 GPT-6.1 Terra xhigh。此前这类任务作者通常让 Claude 启动 Codex 指挥完成。
2026-10-27
AI 时代 GEO：先收拾好个人网站让 AI 认识你
作者提出 AI 时代 GEO 的第一步是把自己的个人网站做好，让每个 AI 都能认识自己，于是重新整理了个人网站。随后群友之间互相交换链接，作者称这是 web2.0 版 GEO。
2026-10-27
在喜马拉雅山用离线 AI 智能体写代码
作者演示了在喜马拉雅山的一台笔记本电脑上运行完全离线的 AI 编程智能体（OpenCode 搭配 Ollama 和 Qwen3.5 9B），在没有网络连接的情况下成功修复了一个 bug。
2026-10-27
Thomson Reuters 工程师实测喜马拉雅山 offline 编码智能体：OpenCode 加 Ollama 本地跑 Qwen3.5 9B
Thomson Reuters 首席工程师 Rittika Jindal 实测在完全断网的笔记本上运行编码智能体完成代码修复：用 Ollama 在本地跑 Qwen3.5 9B，OpenCode 1.19.4 负责与项目交互。
2026-10-27
Anthropic 上半年实际已盈利；腾讯绿泡泡短剧月活达红果 1/4……
新皮层晚报汇总 Anthropic 招股书揭示营收暴增与千亿算力承诺、Meta 与 SpaceX 巨额融资买算力、微软大规模买断裁员、Kimi K3.1 Pro 靠后训练提升、腾讯混元开源世界模型 Hy-Nomas、即梦整合小云雀发布短剧工作室、腾讯绿泡泡短剧月活破亿挑战红果等七大 AI 与科技要闻。
2026-10-27
Anthropic 是世界上最好的企业吗？
Ben Tossell 探讨了个人 AI 智能体的快速演进，重点介绍了 Hark 和 Tab 的新发布、引发热议的「AI 妻子」讨论，以及包括 OpenAI 的 GPT-6 和 Anthropic 的 Claude Haiku 5.5 在内的重大模型更新，同时讨论了管理智能体访问权限的实用工具，以及社区围绕 token 成本和开源定义的争论。
2026-10-27
Kling 4.0 上线 PixVerse
Kling 4.0 现已登陆 PixVerse！ 可创建最长 30 秒、动态运动更流畅的视频。 Ultra 会员现可享受 10 天无限生成。 立即体验——链接见下方
2026-10-27
继英伟达 30 亿美元之后：AMD 也宣布向 Meta 投资 10 亿美元深化 AI 基础设施合作，覆盖 EPYC、Instinct GPU、ROCm 软件
IT之家 10 月 27 日消息，继英伟达的 30 亿美元之后，AMD 也宣布向 Meta 的股权发行投资 10 亿美元 （IT之家注：现汇率约合 66.84 亿元人民币） ，从而进一步深化与 Meta 的战略合作。 双方将围绕 CPU、GPU、网络、系统及软件展开协作，为 Meta 的人工智能基础设施及 AI 服务提供算力支持。
2026-10-27
Northeastern 论文发布 AuthorizationBench：LLM 智能体约 19.2% 的执行轨迹超出用户授权范围
Northeastern 团队发布 AuthorizationBench，测出 LLM 智能体即使用户未授权也会自行行动，在 6,864 次运行中越权率达 19.2%，且提升推理努力几乎不改变该比例。
2026-10-27
Ben Horowitz 长文解析 Databricks 与智能体时代的公司形态
a16z 的 Ben Horowitz 发文解析 Databricks 如何成为智能体时代的公司基础设施，Databricks 已达到 70 亿美元收入运行率、同比增长 80%，估值 1900 亿美元。
2026-10-27
Hermes Agent 新功能与完整设置：部署、记忆、技能和多机器人
Tech With Tim 从 VPS 部署讲起，演示如何连接 Hermes Agent 桌面端与模型，配置记忆、可复用技能、消息入口、多机器人和定时任务。
2026-10-27
前 DeepMind 研究员 Thore Graepel 创办 Metis Reasoning，欲借 AlphaGo 思路解决模型幻觉
前 DeepMind 研究员 Thore Graepel 在 Nvidia GTC 柏林大会上介绍其新公司 Metis Reasoning 的方法，把 AlphaGo 的搜索思路搬到通用推理，用显式知识账本记录已知内容、置信度和未解问题，由独立模块对照计算、形式证明或经验证据检验每个结论。
2026-10-27
计算量降 1.8 倍、精度升 7.6 点：ENVS 用验证式搜索训练 GUI 智能体
ENVS 框架通过在活 VM 中进行行为差异驱动的搜索，将稀疏的终端奖励转化为密集的步级监督，从而在 OSWorld 基准上实现了比在线 RL 方法更高的精度和更低的计算成本。
2026-10-27
Flock CEO 在泄露音频中称反 Flock 抗议是俄罗斯机器人煽动
404 Media 获取的泄露音频显示，自动车牌识别公司 Flock CEO Garrett Langley 在佛罗里达州奥兰多举行的 IACP 会议上对警察局长们称，全国反 Flock 抗议并非真实民意，社交媒体上的反对声主要由俄罗斯机器人推动。
2026-10-27
Apple 为 Pages、Keynote 和 Numbers 加入 AI 助手并支持 MCP
Apple 为 Keynote、Pages、Numbers 生产力套件推出 AI 助手，基于 Apple 与 OpenAI 的模型，可设计动画幻灯片、起草改写文稿、计算和可视化数据，正以 Beta 形式推向支持 Apple Intelligence 的 iOS 27、iPadOS 27 或 macOS 27 设备。
2026-10-27
百度千帆Token Plan个人版实战训练营收官：四节课回顾Agent降本与上下文工程
百度千帆Token Plan个人版实战训练营正式收官，四节课覆盖入门、进阶、实战与案例，演示用一套额度创建API Key接入DeepSeek、GLM等主流模型。进阶课拆解Coding Agent烧Token的根因，指出粗放上下文管理单次请求可能携带超10万tokens。
2026-10-27
百度智能云 10 月 29 日在武汉举办超级智能体大会 BAIDU AGENT SUMMIT
百度智能云将于 10 月 29 日在武汉举办超级智能体大会 BAIDU AGENT SUMMIT（武汉站），聚焦城市治理、市场监管、产业服务、医疗健康等场景的产业智能体落地。
2026-10-27
百度千帆 Token Plan 个人版上线「邀新有礼」活动：邀请好友首购各得代金券
百度千帆 Token Plan 个人版（积分制）开启「邀新有礼」活动，新老用户分享专属邀请链接，好友完成积分制套餐首购（实付≥20元）后，邀请人得20元代金券、多邀不封顶，被邀请人得10元代金券并享首购5折。代金券可直接抵扣积分制套餐消费与续费。
2026-10-27
GMO Internet 称黑客公开窃取的客户数据，Onamae 云桌面服务疑遭入侵
GMO Internet 调查其 Onamae 云桌面服务疑遭未授权访问导致的数据泄露，称攻击者已发布疑似与客户和公司业务相关的信息，真实性仍在核实。
2026-10-27
国产 personal agent 整合米家钉钉支付宝等应用
有用户称这已是现阶段国产 personal agent 的极致，把米家、百度网盘、钉钉、飞书、企业微信、支付宝、QQ 邮箱、滴滴打车、瑞幸咖啡、麦当劳、高德地图、飞猪、美团跑腿、微信读书、网易云、美图都整合了进去。推文未披露模型名、参数或评测数据。
