搜索
谷歌正式发布前沿AI模型Gemini 4 Argon，其在Text Arena排名第一、Vals RSI指数超越GPT-6 Astra达30%，单任务成本仅1.99美元，单次输出上限升至100万Token，并在谷歌内部以Rust安全语言重写了80万行系统内核代码。
小纪有话说： “社区里每天有上万张鹈鹕踩单车的视频被发群里，问我这个鹈鹕降智了吗？”开源项目CodexRadar的发起人Lambda，在GPT-6 Astra发布之后，每天都收到巨量的鹈鹕视频，于是，
中国电信星辰通用人工智能实验室推出的轻量化文档解析模型TeleOCR（约1.2B参数）凭借形变感知学习、多边形版面分割、CGDP采样及内容—结构解耦等技术创新，在OmniDocBench v1.6、Wild-OmniDocBench、PureDocBench等多个公开榜单取得领先，并在ICDAR 2026 Sci-ImageMiner挑战赛中夺冠，目前已开源。
北京大学AI for Math团队宣布在Lean 4中完整形式化庞加莱猜想，约320万行代码、半个月内完成、成本不到3万美元，是首个同时通过Lean编译与Comparator双重验证的版本。
BenchJack 之后，reward hacking 检测还缺什么？ Agent 在 benchmark 上拿到高分，未必真正完成了任务。它也可能利用评测或奖励机制中的漏洞，绕开题目要求来提高得分。
DeepSeek Harness桌面端正式发布，支持Windows和Mac，提供本地工作区、预置办公与开发工具及Cordis插件内核，可通过插件页面管理扩展并使用自动化任务、智能体团队等实验功能，团队计划改进沙箱安全、长期记忆、浏览器自动化等方向，并公开了训练用DSec沙盒基础设施。
OpenAI对ChatGPT定价页面进行静默修改，将Pro方案更名为Pro Standard和Pro More并删除5x和20x用量倍数承诺，代码仓库泄露新增500美元/月的Pro Max方案，引发社区对透明度下降和现有用户权益隐性降级的争议。
欧洲开发者 Mario Zechner 开发的极简 Coding Agent Harness Pi 只给模型一个 bash，却在多项 Benchmark 中击败 Claude Code 和 Codex，凭借极简设计和高可扩展性在 2025 年底爆火，团队来自维也纳而非硅谷。
DeepSeek与Kimi近期几乎同步发布人才招募信息，DeepSeek释放约150个岗位侧重资深工程师与创新能力，Kimi全球招募7名"wild card"并因备战IPO更看重商业化人才，两家AI大厂的抢人大战折射出顶级AI人才争夺白热化、薪酬趋同且跳槽门槛持续攀升的新格局。
西门子Xcelerator以"共享、共创、共赢"为内核搭建繁星开放生态，通过商业赋能、技术赋能与全球Marketplace，将AI、机器人、工业软件等领域伙伴的场景、数据、Know-how和渠道资源连接起来，助力工业创新方案完成从场景验证、规模复制到出海的成长闭环。