「AI推理能力」共找到 12070 篇相关文章
谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦
谷歌用Gemini对700个Erdős猜想做攻关实验，推进13个问题。但他们指出，这并不意味着AI能自动做数学研究，其背后核验等成本远超想象，还需警惕‘潜意识抄袭’。
AI世界名画复活走秀爆了，全网疯转！梵高达利莫奈同框谢幕，网友哭崩
国外ODDY工作室借助AI让世界名画及角色复活，打造超写实视频《名作艺术秀》。视频中梵高、达利等大师及作品化身“T台模特”，还有“幕后故事”，带来视觉盛宴，引发网友热议。
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀，借助AI 33分钟完成人类需写满一页纸的证明，全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证，还升级了数学证明助手，对其很满意。
Agentic-Native 增长：Zilliz 如何用 AI Agent 支撑超线性业务扩张｜AICon 深圳
2026年AICon深圳站8月21 - 22日举办，聚焦多关键方向，邀50+头部企业专家。Zilliz联合创始人郭人通将分享用AI Agent支撑业务扩张，介绍落地案例、关键实践及对数据基建新要求。
AI视觉创作总差点意思？中科大等综述500+篇文献，系统分析生成一致性
中国科学技术大学等多机构研究者发表综述，梳理超500篇论文，揭示扩散模型视觉内容合成“一致性危机”，介绍三类一致性关系、加强位置、评估问题，指出未来模型需具备冲突感知等能力。
小米MiMo-V2-Flash开源：3090亿参数大模型能否改写AI行业规则!
2025年12月16日小米开源旗舰大模型MiMo - V2 - Flash，参数3090亿。它有独创‘按需激活’机制，推理成本低。采用MIT协议，价格亲民，构建全栈开源矩阵，在编程、长文本处理等领域表现出色。
老黄预言成真！全球首个AI原生游戏引擎，一句话秒出GTA级神作
谷歌、英伟达等八大机构联手发布全球首款AI原生UGC游戏引擎Mirage，无预设关卡，一句话即生游戏。它以实时交互‘世界模型’为核心，玩家可随心创造，体验远超传统游戏。
Google 把翻译能力彻底开源了！TranslateGemma：550种语言通吃，还能直接看图翻译！
Google将多年积累的翻译能力灌进开源大模型TranslateGemma，它基于Gemma 3，专为翻译任务调优，有3个规模版本，覆盖550种语言，能直接看图翻译，亮点颇多。
维纳智能登上Nature通讯：AI不只会回答问题，开始生成高精度行业数据
维纳智能登上Nature通讯，其让大模型自动生成高精度推理数据，用闭环反馈驱动专业Agent自主演化。该公司在多领域交出工业级精度答卷，还解决了Agent泛滥的困局，推出多款创新产品。
Orion：面向注重隐私用户的新型浏览器——零遥测、零广告、防范 AI 追踪
Kagi发布新型浏览器Orion 1.0，默认注重隐私、零遥测、无集成广告跟踪技术。它支持Chrome和Firefox扩展，将AI排除核心以保安全，资金源于付费订阅。不过因非开源，隐私声明遭质疑。