「AI推理系统」共找到 11680 篇相关文章
谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦
谷歌用Gemini对700个Erdős猜想做攻关实验，推进13个问题。但他们指出，这并不意味着AI能自动做数学研究，其背后核验等成本远超想象，还需警惕‘潜意识抄袭’。
AI世界名画复活走秀爆了，全网疯转！梵高达利莫奈同框谢幕，网友哭崩
国外ODDY工作室借助AI让世界名画及角色复活，打造超写实视频《名作艺术秀》。视频中梵高、达利等大师及作品化身“T台模特”，还有“幕后故事”，带来视觉盛宴，引发网友热议。
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀，借助AI 33分钟完成人类需写满一页纸的证明，全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证，还升级了数学证明助手，对其很满意。
实战指南：从零构建 MCP 架构下的 Agentic RAG 系统，无第三方MCP Server
五一期间作者用MCP架构从零实现Agentic RAG系统，分享MCP与Agentic RAG融合思考、架构设计，介绍MCP服务端和客户端实现，还做了端到端效果演示，指出架构优势及待优化处。
网页智能体新突破！引入协同进化世界模型，腾讯AI Lab提出新框架
腾讯AI Lab提出WebEvolver框架，引入协同进化的世界模型，让智能体在真实网页环境中性能提升10%，突破现有基于LLM的网页智能体瓶颈，还通过实验验证了其有效性和对网页状态变化的预测能力。
小米MiMo-V2-Flash开源：3090亿参数大模型能否改写AI行业规则!
2025年12月16日小米开源旗舰大模型MiMo - V2 - Flash，参数3090亿。它有独创‘按需激活’机制，推理成本低。采用MIT协议，价格亲民，构建全栈开源矩阵，在编程、长文本处理等领域表现出色。
老黄预言成真！全球首个AI原生游戏引擎，一句话秒出GTA级神作
谷歌、英伟达等八大机构联手发布全球首款AI原生UGC游戏引擎Mirage，无预设关卡，一句话即生游戏。它以实时交互‘世界模型’为核心，玩家可随心创造，体验远超传统游戏。
维纳智能登上Nature通讯：AI不只会回答问题，开始生成高精度行业数据
维纳智能登上Nature通讯，其让大模型自动生成高精度推理数据，用闭环反馈驱动专业Agent自主演化。该公司在多领域交出工业级精度答卷，还解决了Agent泛滥的困局，推出多款创新产品。
Orion：面向注重隐私用户的新型浏览器——零遥测、零广告、防范 AI 追踪
Kagi发布新型浏览器Orion 1.0，默认注重隐私、零遥测、无集成广告跟踪技术。它支持Chrome和Firefox扩展，将AI排除核心以保安全，资金源于付费订阅。不过因非开源，隐私声明遭质疑。
别用语言描述，直接点！Lovart 正式版把 AI 交互卷到新变态级别
作者分享 Lovart 正式版体验。其设计 Agent 成完全体，新增评论系统 ChatCanvas，可直接在无限画布上给 Agent 提修改要求，还吸收 Cursor 代码补全交互。支持单张和多张图片调整，奠定 AX 交互基石。