搜索
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
Talespark由成镭与Rolan共同创办，已完成XVC领投的数千万元天使轮，其核心系统World Director作为AI Agent重新组织游戏核心逻辑，使世界能根据玩家经历持续回应，首款PC端RPG《Project S》计划2028年年初上线Steam。
空间智能企业映界科技MirrorSpace完成超千万元种子+轮融资，海愿资本领投，奇绩创坛、松禾资本持续加注，资金重点用于感知硬件商业化交付与时空世界模型训练。
智谱在天猫开设旗舰店，上架GLM Coding Plan Token订阅套餐，成为首家将核心Token产品搬上传统电商货架的上市大模型公司。
研究发现SubAgent等上下文重建机制会将工具层的恶意指令提权为用户消息或系统指令，导致Claude Code、Codex、Gemini CLI、Qwen Code、Kimi和OpenCode六款AI编码框架在13类攻击上全部沦陷，连自动权限审核（Auto PR）也被绕过。
openJiuwen社区的ScienceDiscovery通过树搜索驱动科研产物RSI，无需训练模型，在积分求解、代码加速和符号回归任务中分别以小时级产出通用积分器、实现平均2.279倍加速，并以低成本在111道方程反推题中正确找出41.4%。
西湖大学AGI实验室发布Code World Model视频世界模型，将世界演化与视觉生成分离，由Coding Agent和代码负责因果规则执行、视频模型负责高保真视觉渲染，并提出Proxy作为可编译视觉条件通道，用约5.6小时游戏视频完成原型验证。
过去几年，机器人操作领域几乎被一批新概念重新 “刷屏”。 LLM Planner、VLA、Diffusion Policy、Flow Matching、Latent Action、World Mode
沙特人工智能公司HUMAIN基于中国MiniMax的开源旗舰模型MiniMax M3推出阿拉伯语大模型HUMAIN M3，使用超过1万亿Token阿拉伯语数据进行后训练，在七项阿拉伯语基准测试中等权平均分达89.37%，标志着中国开源模型正成为全球AI生态的底层技术基础。
新版生图模型GPT Image 2.5虽未正式发布，但已通过ChatGPT弹窗提示向部分用户开放，该模型生成图像极为逼真，已能伪造GPT-6官方发布会和奥特曼全员信等场景，并在生成速度、角色一致性、文字渲染等方面较GPT Image 2有显著提升。