2026-10-28

Google DeepMind 发布世界模型 Genie 4 研究预览，可实时改场景

要闻

Google DeepMind 已向受信任的测试者推出 Genie 4 研究预览，支持用文字实时调整模拟场景并同步生成音频。官方表示，连续交互仅支持几分钟，运行越久，细节和物体越可能漂移。

Google DeepMind 目前以研究预览形式向受信任的测试者开放世界模型 Genie 4，随后将向 Project Genie 中的 Google AI Ultra 订阅用户，以及 Gemini API 和 Google AI Studio 的早期访问合作伙伴开放。据其说明，Genie 4 借助 Gemini Omni 呈现接近真实世界的外观和行为，其他 Gemini 模型负责维持模拟连贯性；用户可随时通过文字提示调整天气、镜头，或添加人物和物体。官方表示，模型可模拟空气动力学、碰撞等物理效果，并生成自然的人物动作，也是该公司首个原生生成音频的实时世界模型，可同步生成环境音、音乐和人物对话。Gemini 3.8 Flash 负责拆分模拟中的目标步骤，并检查画面确认进度。官方同时说明，连续交互仅支持几分钟，运行时间越长，细节和物体越可能漂移。

读原文 →

Cursor Design Mode 上线 Annotate 标注功能

开发生态

Cursor 在 3.24.18 及后续版本提供 Annotate，让用户直接在运行中的应用上标出修改位置，再由 Agent 改代码；标注会附带所选对象的详情和截图，并支持批量发送。

Cursor 已在 3.24.18 及后续版本的 Design Mode 中提供 Annotate，原文未注明上线日期。入口位于 Agents Window 内的浏览器工具栏，较早版本仍显示名为 Design Mode 的笔形图标。据官方说明，用户可选择单个或多个元素、框选区域，也可直接编辑页面文字或修改所选元素的 CSS properties；发送的标注包含所选对象的详情和截图，供 Agent 定位代码并修改。Batch edits 默认关闭，开启后可集中发送多条标注，但文字编辑无论开关状态如何，都要等待 Send。Agent 工作期间仍可接收后续标注；若开发服务器支持 hot reload，修改会在完成后显示于运行中的应用。Canvas tabs 则保留旧入口，标注直接进入聊天，不适用 Batch edits，也不支持原位文字编辑。

读原文 →

Google 开始向 Antigravity IDE 用户推送 Gemini 4 Argon

开发生态

Google 的 Gemini 桌面版页面列出从应用内一键启动 Antigravity 的功能，用于创建应用、编写代码和制作原型。官方表示，相关 macOS 功能已可使用，更多原生功能将逐步提供给 Windows，未注明日期。

Google 在 Gemini 桌面版页面介绍了已可在 macOS 使用的功能，包括一键启动 Antigravity，但未注明上线日期。官方表示，用户可从 Gemini 应用进入 Antigravity，创建应用、编写代码及制作想法原型；也可通过共享屏幕获取基于当前画面内容的辅助，或在不同应用中用语音输入和修改文字。任务功能可在后台执行多步骤工作，包括整理本地文件，以及将文件内容汇总到 Google 文档或表格，每项操作由用户确认。

据页面说明，Gemini 桌面应用覆盖 Gemini 应用支持的所有语言和国家，但功能可用性存在差异，更多原生功能将逐步提供给 Windows。Windows 版要求 Windows 10 或更高版本，支持 x64 和 ARM64；macOS 版要求搭载 Apple silicon 的 MacBook，并运行 macOS Sequoia（15.0）或更高版本。同一 Google 账号下的聊天记录和记忆可跨设备同步。部分功能仅向订阅 Google AI 的 18 岁及以上用户开放，使用前需要设置，提供情况可能变化。

读原文 →

蚂蚁百灵开源 Ling-3.1-flash-1019 及基座模型

模型发布

蚂蚁百灵将此前发布的 Ling-3.1-flash-1019 开源，并开放可进一步训练的基座模型；该版本总参数为 5600 亿，支持 100 万 token 上下文，权重已可通过 Hugging Face 获取。

蚂蚁百灵已开源此前发布的 Ling-3.1-flash-1019，同时开放用于进一步训练的 Ling-3.1-flash-base 基座模型。Ling-3.1-flash-1019 每个 token 激活 250 亿参数，总参数为 5600 亿，支持 100 万 token 上下文，模型权重可通过 Hugging Face 获取。据官方说明，升级版在 Artificial Analysis Intelligence Index v4.3.2 中获得 44 分，前代 Ling-3.1-flash 为 41 分；在 AutomationBench-AA 中，得分由 62% 提升至 68%。

读原文 →

微软发布 MAI-Image-2.7-Preview 图片编辑模型

模型发布

微软推出图片编辑模型 MAI-Image-2.7 预览版。据官方介绍，该模型位列 Arena Edit 第 3、Artificial Analysis 图片编辑榜第 2，并在后者评估的全部 10 类用例和 7 类编辑操作中超越 2.6。

微软已发布 MAI-Image-2.7 图片编辑模型预览版，用户可在 Arena、Artificial Analysis 和 MAI Playground 试用，目前先提供编辑能力，text-to-image generation 将随后推出，原文未给出具体日期。模型支持调整整幅场景的风格与光照、修改图片中的文字和符号，以及修复和增强现有素材，也支持需要理解物体、光照与环境关系的编辑。

据官方介绍，MAI-Image-2.7 在 Artificial Analysis 评估的全部 10 类用例和 7 类编辑操作中均优于 2.6，在增强与修复、推理型编辑、场景与风格、文字或符号编辑类别达到领先水平。其中，场景与风格类别的得分比次优模型高 24 Elo。官方同时表示，该模型在 Arena Edit 排名第 3，使 Microsoft AI 成为排名第 2 的实验室，并在 Artificial Analysis 图片编辑榜排名第 2。

读原文 →

Microsoft 通过 MDASH 发布 MAI Cyber 1.1 Flash 安全模型

模型发布

微软通过 MDASH 向已验证客户提供 MAI Cyber 1.1 Flash 安全模型。官方表示，内部评估中其表现与 MAI Cyber 1 Flash 相当，每次扫描成本降低 18%。

微软已通过 MDASH 向已验证客户开放 MAI Cyber 1.1 Flash，使用保障措施包括明确的使用政策和持续监控。据官方说明，新模型在漏洞发现流程中自行承担更多工作，目标是在保留性能的同时降低整个系统的运行成本；在同一套 MDASH 内部漏洞扫描评估中，每次扫描成本比 MAI Cyber 1 Flash 低 18%，表现相当。官方还披露，客户首次使用 MAI Cyber 1 Flash 配置扫描后，后续扫描中接近九成选择 MAI 配置，而非仅使用 OpenAI 模型的配置。目前，MAI Cyber 占 MDASH 全部扫描的比例接近 50%，已有数百家客户进行了数千次以上扫描。

读原文 →

商汤开源 SenseNova 6.8 Code2Video 视频模型

模型发布

商汤开源 SenseNova 6.8 Code2Video，通过生成可执行代码制作视频，并在同一项目中按反馈修改。官方表示，该模型支持 512K 上下文，可持续运行超过 10 小时、超过 2,000 轮。

商汤已发布开源视频模型 SenseNova 6.8 Code2Video，并通过 Hugging Face 提供权重，原文未注明发布日期。该模型基于 Qwen3.8-27B，通过编写和执行代码构建、渲染视频，目前聚焦完全由代码实现的短视频。制作流程包括编写规格、逐帧渲染、查看画面和修改代码；用户可在同一会话中反馈，也可之后继续原项目。官方表示，模型支持 512K 上下文，可持续运行超过 10 小时、超过 2,000 轮，并能按反馈修改代码而不改变未指定调整的部分。仓库同时提供 code-video skill，覆盖画面检查、交付文件验证及八类制作指南。运行环境需要 Claude Code、Node.js 18+、Python 3、ffmpeg/ffprobe 和视频语言对应的字体。官方计划继续扩大模型规模，并将能力扩展至编辑、合成、动画和 3D 内容制作。

读原文 →

百度开源 Unlimited OCR 2，支持长文档解析

模型发布

百度在 GitHub 开源 Unlimited OCR 2，支持在一次请求中解析整份文档的多页图像。项目提供 Transformers 和 SGLang 两条运行路径，据其说明，多页解析可利用跨页上下文。

百度已在 GitHub 开源支持长文档解析的 Unlimited OCR 2，项目提供用于快速测试的原生 Transformers 路径，并推荐使用 SGLang 部署服务。据项目说明，infer_multi 将按页序传入的文档图像放在一次请求中处理，使模型能够利用跨页上下文；每页编码为一个 global view，输出按输入顺序为每页保留一个 <PAGE> 标记。单页接口 infer 则默认使用 dynamic tiling。部署端使用定制 SGLang wheel，并通过 PyMuPDF 将 PDF 转为图像，服务提供 OpenAI-compatible API。批处理客户端 infer.py 用于 MPDocBench / MarathonDocBench，将每份文档作为单次请求发送并保存原始输出，再由 utils/process_unlimitedOCR2.py 转换为评测用 Markdown。项目还展示了通过一次请求解析整本书的回放。

读原文 →

OpenBMB 开源 MiniCPM-OCR，含 1.3B 解析模型与 2B 评分模型

模型发布

OpenBMB 已开源 MiniCPM-OCR 系列，包括用于中英文文档解析的 1.3B 模型和用于 OCR 结果质量评分的 2B 模型，代码、文档及模型权重均采用 Apache 2.0 许可。

OpenBMB 已发布并开源 MiniCPM-OCR 系列，提供文档解析与 OCR 质量评分两款模型，原文未注明发布日期。解析模型 MiniCPM-OCR 1.0 的参数量为 1.3B，支持中英文文档和 PDF 解析；据 OpenBMB 说明，该模型在 Real5-OmniDocBench 和 OCRBench v2 上的得分分别为 93.68 和 54.7。评分模型 MiniCPM-OCR Jev 的参数量为 2B，可根据图像及其 OCR 结果给出 0 到 1 的质量分，也支持评估 GLM-OCR、PaddleOCR-VL-1.6 等其他解析器的输出。该系列支持 vLLM、SGLang、llama.cpp 和 Ollama，代码、文档及模型权重均以 Apache 2.0 许可开放。

读原文 →

Liquid AI 发布 LFM3，六个 2B 级开放权重多模态模型

模型发布

Liquid AI 已发布 LFM3，首批包含六个约 2B 参数的开放权重模型，覆盖文本、视觉、音频、omni 和决策任务，共用一个 backbone；基础及后训练模型已通过 Hugging Face、Playground 和 Liquid AI API 提供。

Liquid AI 已发布 LFM3 系列，并同步提供基础及后训练模型的开放权重。首批六个模型均从 LFM3-1.7B-Base 衍生，参数量均在 2B 左右，其中四个分别处理文本、视觉、音频和 omni 输入，另两个是从视觉及 omni 模型特化而来的决策模型。模型可通过 Hugging Face、Playground 和 Liquid AI API 获取。官方表示，该系列面向专门任务，可在本地运行和 fine-tune；文本模型 LFM3-1.7B 支持 256K tokens 的 context window，并针对 Hermes Agent、Pi 和 OpenClaw 等 Agent 框架进行了后训练。

在训练与架构上，LFM3-1.7B-Base 使用了 22T tokens，其中最后 3.5T tokens 为采用筛选数据的 mid-training 阶段，并将 context window 扩展至 256K tokens。其 24 层由 13 层 gated short convolutions、5 层窗口为 256 tokens 的 sliding-window attention 和 6 层 global attention 组成。官方在 llama.cpp、Q4_0 和 32K tokens context 条件下测试称，LFM3-1.7B 在所测三款设备上的 decoding 速度均为次快模型的 1.8 至 2.8 倍，且内存占用最低；完整 128K tokens context 所需 KV cache 为 1.6 GB，对照的 Qwen3.5-4B 和 MiniCPM5-2B 分别为 4.3 GB 和 5.6 GB。

读原文 →

SparkLLM 开源 Spark-X2.6-1.7B，后训练强化 coding 与 agent

模型发布

SparkLLM 开源 Spark-X2.6-1.7B，保留前代架构并改进后训练。团队公布的评测中，模型在 high 档下的 SWE Verified 得分为 59.8，τ²-bench 得分为 85.3。

SparkLLM 团队已发布 Spark-X2.6-1.7B，采用 Apache 2.0 许可证，模型可从 Hugging Face 和 ModelScope 获取，也支持通过 Ollama 运行。这是 Spark-X2.6 系列继 Spark-X2.6-4B 之后的第二款模型，沿用 Spark-X2.5-1.7B 的架构，提供 none、low、high 三档可配置的 thinking。据团队说明，后训练改进针对 coding、agent、长上下文、多语言和推理能力；在其评测中，SWE Verified 得分从 28.3 升至 59.8，τ²-bench 得分从 65.3 升至 85.3，其中 X2.6 使用 high 档。

读原文 →

Mirendil 发布首个模型 Fern，最高支持 10M tokens 上下文

模型发布

Mirendil 发布首个模型 Fern，最高支持 10M tokens 上下文，首版为 Fern 0.1。官方将其定位于聚焦、高调用量的 Agent 任务，并称后续版本会频繁推出。

Mirendil 于 2026 年 10 月 26 日上午 8:00（PT）发布首个模型 Fern，首版版本号为 Fern 0.1。据官方说明，该模型从零开始进行预训练，最高支持 10M tokens 的上下文窗口，首版经过一轮简短的后训练。官方将 Fern 称为其效率最高的模型，面向聚焦、高调用量的 Agent 任务，并表示新版本会频繁推出。

读原文 →

ChatGPT 推出 iCloud Mail 和 Calendar 插件

产品应用

ChatGPT 官方宣布推出两款独立的 iCloud Mail 和 iCloud Calendar 插件，面向所有订阅方案，支持邮件与日历操作，连接时须使用 Apple app-specific password。

ChatGPT 官方宣布上线 iCloud Mail 和 iCloud Calendar 两款独立插件，覆盖网页端、桌面端和 iOS，面向所有 ChatGPT 订阅方案，实际可用性取决于工作空间的应用控制设置。据官方说明，用户可通过插件让 ChatGPT 查找邮件、梳理收件箱、查看下一项日程或更新日历事件；两款插件均提供只读的联系人查找功能。连接时，用户需要使用 Apple app-specific password。

读原文 →

Arena 的 Agent Mode 上线 Connectors，可连接 GitHub 等应用

产品应用

Arena 已向登录用户免费开放 Agent Mode 的 Connectors，支持连接 GitHub、Google Drive 等 8 个列出的应用，让 agent 在聊天中读取服务内容并执行操作。

Arena 已在 Agent Mode 中上线 Connectors，登录用户现可在 arena.ai/agent 免费使用，原文未提供具体上线日期。用户连接已有应用后，agent 可直接在聊天中读取相应服务的内容并执行操作。列出的可连接应用有 GitHub、Google Drive、Notion、Linear、Gmail、Supabase、Vercel 和 Dropbox 等。官方表示，这项功能可让用户将更复杂的任务从头到尾交给 agent 处理。

读原文 →

Nous Research 调整 Hermes Agent 订阅方案

产品应用

Nous Research 已调整 Hermes Agent 订阅方案，新方案默认附带云端 Agent，用量改为每日和每周限额。订阅者可随时切换，无需让笔记本持续开机即可通过消息应用连接 Agent。

Nous Research 已宣布调整 Hermes Agent 订阅方案，新的用量规则以每日和每周限额取代每月整块额度，订阅者现在可随时切换到新方案。据其说明，每个新方案默认包含一个开箱即用的云端 Agent。Nous Research 的 Teknium 表示，Nous Portal 付费订阅现在均附带一个 Hermes Agent 实例及供其使用的电脑，用户不必让笔记本一直开机，也能通过各类消息应用连接 Agent，并可在桌面应用中一键登录。

读原文 →

千问上线学习场景功能，可找题解题练题

产品应用

千问已上线学习场景功能，覆盖试卷查找、拍题答疑和作业批改。据其说明，用户可免费下载并打印试卷，日常错题会自动进入学习档案，薄弱点分析会列出反复出错的知识点。

千问已上线学习场景功能，将试卷检索、题目讲解和错题记录纳入对话式学习流程，原文未披露具体上线日期。据其说明，用户在对话框填写地区、年级、学科及试卷关键词后，可查找试卷并免费下载、打印。解题环节支持用「拍题答疑」上传题目照片，系统按阅卷标准提供解题步骤；对仍未理解的步骤，用户可进入「小讲堂」，由 AI 老师拆分讲解。「作业批改」检查出的日常错题会自动归入升级后的「学习档案」，其中的「薄弱点分析」列出反复出错的知识点，供用户开展针对性练习。

读原文 →

即梦 AI 上线短剧工作室，整合创作与重制功能

产品应用

即梦 AI 已上线短剧工作室，将剧本、美术、分镜、后期与重制转绘纳入同一工具。平台同时提供限时免费权益，涵盖各 1 次剧本创作和解析，以及各 15 秒的智能预演与重制转绘白模。

即梦 AI 已正式上线短剧工作室，整合从剧本创作到后期调整、重制转绘的功能，原文未披露具体上线日期。据其说明，工作室搭载自研剧本模型 DreamScript、图片模型 Anycook 和分镜模型 DreamShot，可解析长篇文本、生成角色与场景，并协同调整分镜。后期环节提供片段重拍、声音重构和智能切镜；重制转绘则按选定风格、画幅比例及目标地区重新生成画面。平台目前提供限时免费权益，包括剧本创作和解析各 1 次、15 秒智能预演，以及 15 秒重制转绘白模。

读原文 →

微信输入法 4.0.0 发布，新增 AI 录音笔

产品应用

微信输入法已发布 4.0.0，新增 AI 录音笔，iOS、Android 用户可在 App 内使用，Windows 版也已可用。该功能可在录音时转写文字，并用 AI 总结内容、生成可分享和交互的网页。

微信输入法已发布 4.0.0 版本，新增 AI 录音笔功能，目前已覆盖 iOS、Android 和 Windows。iOS 和 Android 用户可直接在 App 中使用该功能，Windows 版也已可用。据其说明，AI 录音笔支持在录音的同时将语音转写为文字，并通过 AI 对录音内容进行总结；生成的网页既可以分享，也支持交互。该功能的输出不仅包括录音转写文字，还包括内容总结和网页。

读原文 →

蚂蚁集团发布灵光 2.0，支持后台持续跟进事务

产品应用

蚂蚁集团已发布并全面开放灵光 2.0，用户授权后，任务可在退出对话后继续执行。此次升级涵盖跨会话记忆、长程任务调度及工具连接，并允许用户查看、调整或撤销 Agent 执行所需的授权。

截至 2026 年 10 月 28 日，蚂蚁集团已发布灵光 2.0，并全面开放该产品。此次更新将跨会话记忆、长程任务调度和工具连接纳入升级范围。据其说明，灵光依托独立云主机，在获得用户授权后识别需求，即使用户退出对话，也可继续执行任务，并依据新信息调整安排。服务连接方面，产品支持接入支付宝、钉钉、飞书等服务，以及调用 MCP、CLI 等工具。灵光 2.0 还接入蚂蚁 APASS，将身份认证、意图安全和隐私保护纳入 Agent 执行流程；用户可查看、调整或撤销授权。

读原文 →

OpenAI 公布反证后 Claude 也挑战 ETH

技术与洞察

Anthropic 的 formal-math 仓库公开了内部研究 Claude 模型发现的 3-SAT 算法及 Lean 4 形式化材料，声称以次指数时间反驳 ETH；该结果仅涉及渐近复杂度，不说明实际求解效果。

Anthropic 在 formal-math 仓库中公布了一项声称反驳 Exponential Time Hypothesis（ETH）的研究结果，页面未注明发布日期。据其说明，内部研究 Claude 模型发现的确定性算法可在 2^{o(n)} 时间内解决含 n 个变量的 3-SAT，还能在 2^{O(n log log n / √log n)} 时间内完成更难的 #3-SAT，即计算满足赋值的数量。官方表示，该结果仅涉及渐近复杂度，不涉及实际求解表现。

仓库提供论文及由 AI 模型编写的 Lean 4 形式化材料，并固定使用 Lean v4.33.1 和 Mathlib v4.33.1。据其说明，CI 除比较定理陈述外，还通过独立编写的第二套 kernel nanoda 重新检查证明。不过，机器不会核对形式化陈述是否与论文表达一致，这一对应关系仍供读者检查。官方另称，Claude Opus 5.5 在 high effort 下可从压缩描述重新推导出对任意 δ > 0、3-SAT 均可在 O(2^{δn}) 时间内判定的结论，但不能据此重现上述更精确的界限。该仓库作为研究材料发布，不维护，也不接受贡献。

读原文 →

Anthropic 招聘经理：团队不再用传统编码面试

技术与洞察

Anthropic 一名招聘经理宣布停止在其招聘中使用传统编码面试，认为 Claude 已使这类测试失去判断价值。他同时面向资历较浅的工程师提出五项做法，重点是围绕业务目标，用可运行的原型展示想法。

Anthropic 的一名招聘经理在文章中表示，已于撰文当月停止要求候选人参加传统编码面试，原文未注明具体年月。这是他对自身招聘实践的说明，并非 Anthropic 全公司的政策公告。据其说明，小型编码题过去能为判断候选人的团队表现提供有限参考，但 Claude 如今在 React 小挑战和 assembly 问答上表现更好，而团队中产生最多影响的 builder 并不依赖此类测试成绩取得成功。他认为，AI 让工程师的影响力不再那么受框架与库知识积累年限的限制，并将建议对象界定为缺少社会资本、地位或权力的工程师。他提出五项做法：优先理解业务目标而非只处理 backlog；构思能推动这些目标的突破性想法；用一个周末做出可运行的原型；让原型只表达一个核心想法；利用新人视角发现用户体验或基础设施中的问题。他表示，自己见过个人和小团队通过原型，绕过编写 PRD、争取支持及协调设计师或产品经理时间的常规流程。

读原文 →

Cognition 发布 FrontierCode 2.0，考察模型能否写出值得合并的代码

技术与洞察

Cognition 发布 FrontierCode 2.0，以代码能否合并评估模型在不完整指令下的工程能力，最高分模型 Opus 5.5 得分为 45%。未通过阻断性标准的方案直接计零分。

Cognition 发布了编码基准 FrontierCode 2.0，将评估重点放在模型能否根据不完整需求交付可合并的代码。官方表示，这套基准不仅检查显式要求，也考察模型能否从代码库推断约束，包括复用已有抽象、遵循仓库惯例，以及编写能发现 bug 的测试。评分按各项标准加权汇总，未通过阻断性标准的方案得零分。官方公布的结果中，Opus 5.5 以 45% 得分居首；成本按每次 rollout 的平均美元支出计算，采用 API 标价并计入公开折扣。

据其说明，超过 20 名开源开发者基于各自维护的仓库构建评估，每人每项任务投入超过 40 小时。相较 FrontierCode 1.0，新版扩展了任务多样性、评分标准和任务范围，并加强对任务提示、参考解法及评分标准的审查。参考解法与上游 PR 不同的任务占比从 60% 升至 80%。用于检查模型能否推断隐含正确性要求的 thoroughness 标准，在阻断性标准中的数量达到 FrontierCode 1.1 的 3 倍。官方还指出，提高 reasoning effort 不一定提高得分，因为模型可能编写更多代码、修改更多文件，却偏离所需范围。

读原文 →

Qwen 团队开源 BabelArena，测 agent 在 23 种自然语言中的表现

技术与洞察

Qwen 团队开源 BabelArena，将四个基准家族的 702 个标准任务扩展为 23 种自然语言版本，共计 16,146 个任务实例，用于评估 Agent 的多语言表现。

Qwen 团队已开源多语言 Agent 基准 BabelArena，覆盖 13 个领域，原文未提供发布日期。该基准以 τ³-Bench、VitaBench、DeepPlanning 和 ClawEval 四个基准家族的 702 个标准任务为基础，制作了 23 种自然语言版本，共有 16,146 个任务实例。本地化范围包括提示词、任务、工具描述和环境内容，语言包括英语、中文和阿拉伯语等。

研究评估了 5 个前沿模型。据 Qwen 团队说明，没有模型在四个基准家族中全面领先；低资源语言下的 Pass^1、Pass^3 和语言一致性均低于高资源语言。论文还称，低资源语言下 Agent 的输入 token 数最多约为英语的两倍。

读原文 →

Axiom 称 AI 用 24 天完成有限单群分类定理 Lean 形式化

技术与洞察

Axiom 的有限单群分类定理形式化项目报告了一项群论结果：团队发现，已发表的一条 Unbalanced Group Theorem 证明路线所用的闭包断言存在反例，并在一篇 35 页论文中给出单群情形的替代论证。

Axiom 网站介绍了一篇由有限单群分类定理形式化项目产生的群论论文，报告了既有证明路线中的反例及单群情形的替代论证；所给材料未注明发布日期。论文标识为 Hexagon 2610.00575，共 35 页。据网站说明，团队在形式化第一代证明时，发现已发表的一条 Unbalanced Group Theorem 证明路线所使用的闭包断言存在反例。论文解释了这一障碍，替代论证则以 Solomon 于 1976 年提出的 maximal 2-components 理论为基础，关键步骤是关于 simple tops 保持性的 Theorem 2.3。

读原文 →

Cloudflare 披露 GLM-5.3 数据暴露事件，155 条响应受影响

技术与洞察

读原文 →

Anthropic 与六家药企合作并收购 Mithril Medicine

行业动态

读原文 →

Anthropic 与美国总务管理局达成 OneGov 协议

行业动态

读原文 →

Anthropic 将租用 Broadcom 设备，四家机构提供融资

行业动态

读原文 →

Oracle 云将提供 Google TPU，计划 2027 年起可用

行业动态

读原文 →

NVIDIA 与 Meta 扩大 Muse 合作，将投资 30 亿美元

行业动态

读原文 →

梁文锋首次登上胡润百富榜，位列第七

行业动态

读原文 →