「大厂AI」共找到 12086 篇相关文章
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题，GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节，重塑数学研究。
“设计师的 Cursor”！拖拖拽拽就能做前端，AI 实时生成代码，代码设计双向同步！
Onlook是号称‘设计师的Cursor’的开源工具，可让用户在浏览器可视化构建前端界面，通过AI驱动双向绑定实现设计与代码实时同步，还具备多项核心功能，适用于多种场景，解决设计与开发痛点。
TRM思考奖励模型上线，大模型推理质量终于能量化了 | ICML‘26 Oral
大模型推理评测多只看答案，忽略推理过程。上海多校团队提出TRM，用ME² principle刻画推理质量，DAG-based pairwise evaluation还原结构，训练奖励模型，让推理质量可度量、训练和优化。
谷歌放大招了，开源命令行AI编程Agent，每天1000次免费调用，编程只是基础功能。
Google推出开源命令行AI编程Agent——Gemini CLI，基于Gemini 2.5 Pro模型，免费提供每日1000次调用额度。它不仅能编程，还具备多模态能力、实时信息整合等功能，支持定制与自动化。
苦研10年无果，千万经费打水漂！AI黑箱依然无解，谷歌撕破脸
ChatGPT「舔狗化」暴露AI缺乏可解释性，谷歌和Anthropic就「机制可解释性」产生争论。谷歌DeepMind不再将其作研究重点，Anthropic则主张重视。十多年研究成果有限，或应采取「自上而下」研究方式。
腾讯大模型动作慢了吗？姚顺雨带着Hy3 preview杀进第一梯队
国内大模型发展迅速，腾讯此前动作较慢。姚顺雨加入后推动变革，混元团队重建推出Hy3 preview，有295B总参数和快慢思考融合架构，开源且性能优，在多方面表现出色，成本下降。
对话 Befreed 创始人：从「个人学习」切入的 AI Agent，把学习变成一种生活方式
文章对话 Befreed 创始人 Jisong Liu ，介绍其以「强个性化学习 Agent」为核心的音频学习产品，它能把零散学习累积成知识路径，采用订阅制，有付费转化，还分享了创业、社媒运营等经验。
OpenAI推理第一人创业了：要造“活到老学到老”的AI，先来融它70个亿
OpenAI推理模型第一人Jerry Tworek离职不到一个月就创业，新公司Core Automation计划筹集10亿美元，要做具备「持续学习」能力的新型AI模型，解决主流模型‘训完就上线’、能力固定的问题。
谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦
谷歌用Gemini对700个Erdős猜想做攻关实验，推进13个问题。但他们指出，这并不意味着AI能自动做数学研究，其背后核验等成本远超想象，还需警惕‘潜意识抄袭’。
AI世界名画复活走秀爆了，全网疯转！梵高达利莫奈同框谢幕，网友哭崩
国外ODDY工作室借助AI让世界名画及角色复活，打造超写实视频《名作艺术秀》。视频中梵高、达利等大师及作品化身“T台模特”，还有“幕后故事”，带来视觉盛宴，引发网友热议。