「数学验证」共找到 1227 篇相关文章
Andrej Karpathy 提出判断什么工作会被 AI 替代的新标准
Andrej Karpathy 提出判断工作是否会被 AI 替代的新标准，即不看复杂度看可验证性。他在 Software 2.0 框架下解释此现象，还指出任务被 AI 自动化需满足可重置、高效、可奖励三个条件，同时提及该框架有局限性。
陶哲轩敲警钟！谷歌DeepMind联手五大神殿，用AI向世纪难题宣战
谷歌DeepMind发起「AI赋能数学计划」，集结五大顶尖机构，用最强数学AI探索数学难题。陶哲轩警示要警惕AI滥用风险，还提出论文使用AI的三大建议，如声明使用、讨论风险及明确责任。
她拒了贝索斯，离开黄仁勋，只为回答一个问题：AI能学会物理世界吗？
近日，AI初创公司Accelerated Understanding亮相，由Anima Anandkumar夫妇创立。它未随主流，目标是训练模拟物理现象的通用AI模型。该模型处理数据规模大，公司想解决AI验证瓶颈，产品面向科研工程机构。
微软分享三大王炸算法：突破大模型推理瓶颈，性能大涨
今天凌晨微软官网分享三大创新算法，即rStar - Math、LIPS、CPL，可助大模型突破推理瓶颈，增强数学推理和思考链能力，还介绍了各算法原理、优势及对应论文地址。
Anthropic发布多Agent协作模式指南：5种架构与适用场景
当单个AI Agent无法完成任务时，多Agent系统就派上了用场。Anthropic最新发布的指南给出了五种经过验证的模式，包括生成 - 验证模式、编排 - 子代理模式等，并介绍了适用场景和陷阱。
思维链之父跳槽Meta，不只因为1亿美元！离开OpenAI前泄天机
硅谷人才争夺战升级，Meta砸钱抢人，思维链之父Jason Wei从OpenAI跳槽到Meta。他离职前发博客，谈及从强化学习获得的人生启示，还阐述AI领域验证非对称性概念及重要性。
王虹攻下的三维挂谷猜想，OpenAI放出175页四维证明稿！
本文报道王虹已解决三维集合版挂谷猜想，OpenAI在GitHub公开两篇数学手稿，分别挑战更强的三维极大函数版和一般四维集合版挂谷猜想，引发AI助力数学研究的讨论。
刚刚，Claude独立攻克图论猜想，仅用31步！算法祖师爷高德纳震惊发文
Claude Opus 4.6仅用31步独立攻克图论猜想，算法祖师爷高德纳震惊发文，认为需重新评估生成式AI在数学研究中的作用。这标志着AI在自动推理和解决创造性问题上达到新里程碑。
当 Agent 尝试接管浏览器，连“我是人类”都证明不了？上海交大开源发布交互评测基准 HLL
随着多模态大模型发展，Web Agent 面临验证码挑战。上海交通大学等团队发布 HLL 评测基准，解耦真实度为三维度，对 8 款前沿模型测试，揭示 Agent 在多步交互微操上的短板。
国家队出手！AI智能体要发「身份证」，首个互联国标将落地
2026年5月8日，多部门联合发布《实施意见》，推动智能体应用，加强AIP等关键国标应用。全国信标委编制的AIP系列国标将公布，现启动AIP协议应用验证先锋计划，招募伙伴开展工作并明确权益义务。