AI资讯新闻榜单内容搜索-

关键词: Ai新闻,AI游戏,米哈游AI,人工智能

西方马斯克在造AI女友，东边米哈游却在造“无定谷”。 就在最近，米哈游全资成立了新公司：上海米哈游无定谷科技有限公司，注册资本高达5亿。

关键词: AI新闻,deepseek,AI占有率,AI使用率

半年前，DeepSeek R1 的推出轰动了全球，无论东西方都是火的一塌糊涂，更是被外网称为 AI 领域的 Sputnik 时刻。

关键词: AI论文,模型训练,强化学习,人工智能

实时强化学习来了！AI 再也不怕「卡顿」。 设想这样一个未来场景：多个厨师机器人正在协作制作煎蛋卷。

关键词: AI新闻,AI编程,亚马逊AI,Amazon Bedrock AgentCore

红杉美国合伙人 Konstantine Buhler 预测 2025 年将成为 AI agent 的“群体协作”时代，标志着 Agent 元年的到来。

关键词: AI,AI玩具,AI硬件,人工智能

“大家都感觉到这个赛道的大方向是对的，但产品形态一直没找到一个最优解。”

关键词: AI,广义智能体理论,模型训练,人工智能

一个源自AI的「广义智能体理论」，为探索「万物理论」开了个新脑洞。它认为，无论是物理系统、生命还是AI，本质上都是「智能体」。

关键词: AI新闻,AI制药,Elix,Elix Discovery™,联邦大模型

近日，日本AI制药公司Elix与AI生命科学合作组织Life Intelligence Consortium（简称“LINC”）宣布，在全球首次实现了 AI 药物发现平台的商业化。

关键词: AI新闻,Planetarium Labs,Verse 8 ,AI游戏开发助手

2025 年 7 月 15 日，韩国游戏创企 Planetarium Labs 宣布，公司旗下 AI 游戏创作分享平台 Verse 8 已正式在 Web 端上线。根据 Planetarium Labs 介绍，在 AI 游戏开发助手 Agent 8 的辅助下，用户可以在 Verse 8 上利用自然语言开发、发行以及分享游戏，不需要下载和安装任何软件/资源。

关键词: Ai新闻,AI数学,Goedel-Prover-V2,数学定理模型

迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。

关键词: AI新闻,AI视频,Pusa V1.0,菩萨1.0

你可能听说过OpenAI的Sora，用数百万视频、千万美元训练出的AI视频模型。 但你能想象，有团队只用3860段视频、不到500美元成本，也能在关键任务上做到SOTA？