分类
类型
地域
产品
排序
Astra突破数学开放问题后,AI科研开始进入可验证时代
OpenAI Astra 被曝在数学开放问题上取得突破,形式化验证、科研 Agent 与企业应用共同说明,AI 竞争正在从单点能力展示走向可验证的复杂任务系统。
Qwen3.8-Max和千问办公一起上桌,AI入口争夺开始打进工作桌面
Qwen3.8-Max把总参数推到2.4万亿、激活参数做到950亿,这已经不是单纯“模型又大了一圈”的消息了。真正更值得盯住的是,阿里同时把千问办公、QoderWork、MuleRun、悟空这些产品线收拢到更统一...
迪士尼押注物理AI后,机器人竞争开始从会动走向会干活
迪士尼同时选择 Physical Intelligence 与 FieldAI,灵巧手融资升温,机器人训练数据和企业治理也在同步补课,物理 AI 正从演示走向真实任务。








