「可验证材料模型」共找到 8292 篇相关文章
GPT-5 放弃追求智能上限了？
GPT-5发布，虽借OpenAI名气获流量，但AI科技评论认为其结果令人失望。它推销转向任务性能提升，非基础大模型能力突破。虽成果出色，但也引发对AGI发展的反思，还面临诸多难题。
Kimi K2技术报告正式发布：“保姆级”深度解析，一文读懂万亿参数智能体的所有秘密
Kimi K2技术报告发布，Moonshot团队用万亿+参数稀疏MoE架构等打造接近Claude - Opus的通用大模型。围绕训练稳定性等改进，有预训练、架构设计等多方面创新，为智能体领域提供可行路径。
突发！Jason wei也被小扎挖走了
Jason wei是OpenAI研究科学家，是思维链、强化学习研究重要推动者，2023年2月加入OpenAI，此前在谷歌大脑工作。他和HYUNG Won Chung一同被小扎挖走，二人是o系列模型及测试时间计算重要推动者。
首发丨美团悄咪咪公测 AI 袋鼠参谋 App
美团正在公测AI袋鼠参谋App，它是基于AI大模型决策能力的智能应用，依托海量门店信息和多年运营经验，覆盖4类经营场景，以“数据向决策的翻译服务”帮商家解决开店难题。
只训练数学，却在物理化学生物战胜o1！新强化学习算法带来显著性能提升，还缓解训练崩溃问题
上海创智学院、上海AI Lab的MM - Eureka系列工作提出新强化学习算法CPGD，缓解训练崩溃问题，提升性能。还构建多模态强化学习框架，推出MMK12数据集和MM - PRM模型，开源相关成果。
被知乎文化所感染的第 1947 天
作者分享在知乎 1947 天的经历，受邀参加知乎第十一届新知青年大会。大会 AI 含量高，探讨多，如具身智能、模型发展方向等；社区味浓，形式多样氛围好；还对年轻人友好，鼓励表达畅想。
国内“内卷”没用，企业怎么靠AI出海获利？
InfoQ《极客有约》X AICon 直播探讨中国技术出海破局增长。嘉宾认为企业要判断国内经验能否迁移海外，还分享出海成功案例，给出战略选择建议，如先欧美后国内等，还提及验证产品的关键指标。
OpenAI首席研究员Mark Chen长访谈：小扎亲手端汤来公司挖人，气得我们端着汤去了Meta
OpenAI首席研究官Mark Chen在访谈中爆料Meta抢人大战升级成送汤大战，还谈到OpenAI核心研究团队规模、应对Gemini 3策略等。他认为OpenAI本质是研究公司，有信心在预训练和模型性能上超越对手，还提及OpenAI for Science等计划。
DeepSeek睁开眼了！Opus-4.8的性能，1000张图不到20美分
DeepSeek首个多模态视觉模型deepseek-v4-flash-vision-exp上线DeepSeek API平台。文本能力与V4-Flash持平，多模态Agent能力逼近Opus-4.8，分析1000张图成本不到20美分，还上线免费Files API。
人类56年解不出，谷歌AI一夜连破9道世纪难题！
Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。