AI资讯
书生S2与数学家助力攻克三维Ghys猜想
上海AI实验室书生S2多模态大模型与数学家协作，首证三维Ghys猜想，并在北大SHEAF框架下完成形式化验证，标志中国大模型助力世界级数学难题的里程碑，展示通用+专业融合训练、人机协同递归推演与机器核验闭环。
最新报道
AI资讯
35B装进口袋：MiniCPM-V4.7离线跑
面壁智能与OpenBMB发布国产开源MiniCPM-V4.7，这是一款35B MoE端侧多模态大模型，可在手机端以约3GB内存离线可用，解码达8-12 tok/
AI资讯
Reflex Agent：模型驱动的开源长程智能体
解析开源 Reflex Agent 如何以决策模型嵌入模型驱动Harness，实施 Loop Working 闭环，把Agent从“会回答”推向“会完成事”，并
AI资讯
从跑分到可运营：求索4.0重塑AI评测
AI产业从跑分与Demo转向工程化落地。求索4.0打造覆盖算力—模型—系统—场景—安全的评测基准，连接真实负载与可运维选型；字节跳动推进模型安全与对齐，资本加码
AI资讯
千问Go开启个人智能体实用时代
个人智能体正成大模型落地新风口。本文解析千问APP上线的千问Go，如何以工具调用与流程编排，把聊天变办事，覆盖出行理赔、生活服务、电商下单、求职投递等，实现结果
AI资讯
巨头押注个人代理：下一代入口之战
数周内，MetaMuse、OpenAIDots、Google与Microsoft押注个人Agent，争夺你的默认数字分身与下一代入口。文章解析路径：云端电脑、长
AI资讯
阶跃Step5接入腾讯WorkBuddy，两周限免
阶跃旗舰基座模型 Step 5 Preview 接入腾讯全场景 AI 办公工作台 WorkBuddy，开启两周独家限免。稀疏MoE架构兼顾强推理与成本，Agen