OpenAI 宣布三项重大科学突破，科研界不满其成果发布方式
OpenAI 在数学、计算机科学和物理学领域取得突破，但科研界对其成果发布方式表示不满，引发对AI研究成果公开和验证的讨论。
推荐理由：OpenAI 在数学、计算机科学和物理学领域取得突破，但科研界对其成果发布方式表示不满，引发对AI研究成果公开和验证的讨论。
#GitHub
#GitHub
今日 0 条IT之家精选AI 评分7070
Ask HNAI 评分2020 Google3 模型仓库突破 10 亿 CL 标记
Google3 模型仓库在 2026 年 10 月 21 日达到 10 亿 CL（代码行）的里程碑，这一突破由 Antigravity 在 Depot Branch 的分析得出。
IT之家精选AI 评分6262 微软 MAI Code 1.1 Flash 模型将整合到 Win11，256K 上下文、130B 参数
微软在旧金山活动上表示计划将 130B 参数的 MAI Code 1.1 Flash 模型引入 Windows 11 设备。该模型是 6 月发布的 MAI-Code-1-Flash 升级版，已集成到 GitHub Copilot 与 VS Code，用于日常编码、仓库问答、重构和工具调用，采用 3-bit 量化、体积缩小 80%，上下文窗口 256K。
推荐理由：微软把 130B 参数的编码模型压到 3-bit 量化并计划下沉到 Windows 11，读者可据此判断端侧编码助手的成本与延迟走向。
36氪精选AI 评分6262 OpenAI 公开前沿大模型生成的数学研究成果
OpenAI 正在公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过 GitHub 代码库发布，并附带论文修订与引用的规范协议。成果包含 Lean 语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。
推荐理由：OpenAI 公开前沿模型生成的数学研究成果，并给出 Lean 形式化证明与算力消耗口径，可供观察模型做数学研究的实际形态。
The DecoderAI 评分3838 NASA 与 IBM 发布开源月球基础模型，基于 17 年轨道器数据
NASA 与 IBM Research 联合多家学术机构发布 NASA-IBM Lunar Foundation Model，称其为首批面向月球科学的开源基础模型之一。
OpenAI NewsAI 评分3030 OpenAI 工作中如何使用 ChatGPT Atlas
OpenAI 在工作中运用 ChatGPT Atlas 进行演示，展示了该工具在实际应用中的效果。