「正式证明搜索」共找到 1052 篇相关文章
GPT-5，AI的「登月时刻」来了！奥特曼现场发布，三位一体博士级智能体
GPT-5正式发布，它是融合模型，准确性大幅提升，编程、写作等能力飞跃，语音模式升级，还有个性化功能，已介入医疗。API含三款模型，价格有竞争力，标志AI竞争转向「智能发布」。
你和ChatGPT的私密对话正在全网裸奔！网友炸锅：我把ChatGPT当知己，它却把我隐私挂网上
近日，谷歌搜索惊现4500条ChatGPT对话，其中含大量用户深层个人信息。OpenAI称是用户主动分享致索引，将移除该功能并清理。但聊天记录仍在其他搜索引擎现身，引发网友质疑。
字节Seed数学新模型，SOTA了
字节发布全新复杂数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，在MiniF2F数据集达100%正确率。它采用引理式证明，集成几何推理引擎Seed-Geometry，还展现了卓越泛化能力。
北航LiveRepoReflection: 扭转乾坤-仓库级代码反射
本文提出LiveRepoReflection基准，评估多文件仓库代码理解和生成能力，含1888个测试案例。创建RepoReflection - Instruct数据集训练RepoReflectionCoder，评估40多个LLMs，结果显示其能有效测模型反思修复能力。
4个月11万用户、Claude Code成了，Dogfooding该被AI公司重视起来了
Dogfooding（内部试用）应被AI创业公司重视。Anthropic推出的Claude Code源于内部工具孵化，经内部使用和场景验证后发布，四个多月获11万开发者用户，其成功说明深度内部试用是竞争优势。
AI狂欢，网站末日来了！互联网变现难，谷歌让点击惨遭灭顶之灾
2024年5月谷歌上线AI摘要功能，虽让搜索展示量涨49%，但网站点击量惨跌30%。多组数据显示网站流量锐减、收入萎缩，AI抓取频繁回报少，谷歌或自掘坟墓，引发互联网生态危机。
ICML 2025 | 多智能体的ChatGPT时刻？上交MAS-GPT实现工作流一键生成
上海交通大学等机构推出 MAS - GPT，提出生成式 MAS 设计范式，可一键生成可执行的 MAS。它解决了现有 MAS 方法无适应性、成本高、泛化性低等问题，实验显示其表现出色，未来潜力大。
刚刚，何恺明官宣入职谷歌DeepMind！
AI大神何恺明正式入职谷歌DeepMind担任杰出科学家，同时保留MIT终身副教授身份。他因提出ResNet名震江湖，研究成果多且获奖无数，今年也成果不断，将助力DeepMind的AGI目标。
Yann LeCun放出憋了20年的大招：Meta开源V-JEPA 2世界模型
Meta发布V-JEPA 2世界模型，参数高达10亿，推理速度比英伟达Cosmos快30倍。它基于Vision Transformer架构，是Yann LeCun倡导多年的JEPA路线成果，仅需62小时机器人数据训练就能执行任务，打脸质疑者。
端到端GUI智能体首次实现“犯错-反思-修正”闭环，模拟人类认知全过程
南洋理工大学MMLab团队提出框架GUI - Reflection，让端到端多模态GUI智能体有“自我反思”能力。它在各训练阶段引入“反思与纠错”机制，实验证明该框架能提升智能体能力。