OpenAI 一次放出 722 篇数学手稿，验证速度成了新瓶颈
2026-10-06
372 个结果家族来自未公开模型；首发目录仅为 162 篇手稿列出主结果形式化，同行核查、引用与理解开始追赶机器产量。
60 家机构补 AI 的语言缺口，先要回答数据归谁、成效怎么算
2026-09-22
五年让 34 亿人用母语和语音使用 AI 仍只是共同目标；联盟已列出数据、评测、工具与安全四条线，成员承诺、资金和治理规则尚待敲定。
Claude 用 11 天将费马大定理证明转成可由机器核验的代码
2026-09-04
数十个 Claude 智能体将既有证明转为 1300 万行 Lean 代码，完成机器核验。代码的可读性、复现成本和长期维护仍待检验。
英伟达被曝洽购 Hugging Face，129 亿美元交易尚未获证实
2026-08-27
媒体对交易已同意还是仍在谈判说法不一，双方均未证实。若收购完成，Hugging Face 对其他芯片厂商的支持将成为关注点。
DeepSeek V4 Flash 社区适配提速，量化与推测解码降低本地部署门槛
2026-08-04
社区围绕 V4 Flash 测试量化、推测解码和多种硬件。部分配置已能本地运行，但内存和长上下文延迟仍有门槛，低价矿卡案例运行的是另一款模型。
开放模型工具 Ollama 融资 6500 万美元，扩展付费云服务
2026-07-10
Ollama 宣布完成 B 轮融资，继续简化开放模型的本地运行，并扩展付费云服务。团队需要兼顾云业务、免费工具维护与社区信任。
预印本平台 arXiv 独立运营，寻求更稳定的资金与更灵活的管理
2026-07-01
arXiv 7 月 1 日从康奈尔大学独立为非营利组织。投稿增长带来资金、招聘和审核压力，平台也在加强对未经核查 AI 内容的管理。
工程师为何拒绝能运行的 AI 代码：审查负担与长期维护成本
2026-06-26
两位开发者讨论 AI 代码的可维护性：通过测试之后，团队仍需理解设计、控制复杂度并承担后续维护，自动循环也需要明确的使用边界。
让 AMD 显卡运行 CUDA 的 ZLUDA 发布 v6，商业资助已结束
2026-07-01
开源 CUDA 兼容层 ZLUDA 发布 v6，改善 Blender 和 Windows 支持。开发者同时披露商业资助已结束，项目回到业余维护状态。
Roblox 推出手机 AI 游戏创作工具，将在新西兰开放测试
2026-07-17
Roblox 的 Build 让用户在手机上用提示词生成基础游戏。测试面向通过年龄检查的 9 岁及以上用户，发布与推荐仍须经过平台审核。
游戏引擎 Godot 收紧 AI 代码贡献规则，减轻维护者审查负担
2026-06-30
Godot 宣布收紧贡献政策，禁止自主Agent提交与大段AI生成代码，保留有限辅助用途。新贡献者提交功能前须获许可，维护者希望减少审查积压。
Rust 基金会聘请专职安全工程师，核验 AI 漏洞报告并协助修补
2026-06-25
Jacob Finkelman 将负责筛查 Rust 生态的漏洞报告、协助修复和披露。职位由 Alpha-Omega 资助，首期六个月，旨在减轻维护者负担。
Snap 发布 2195 美元 AR 眼镜 SPECS，可独立运行并调用 GPT-5.5
2026-06-20
SPECS 无需连接手机，支持 GPT-5.5 和 Gemini 3 Flash。Snap 希望把手机上的 AR 应用带到眼前，但售价和佩戴体验仍待市场检验。