「可验证推理」共找到 6180 篇相关文章
全球首个IMO金牌AI诞生！谷歌Gemini碾碎奥数神话，拿下35分震惊裁判
谷歌DeepMind官宣Gemini Deep Think在IMO获官方认证金牌，4.5小时解5题得35分。它用纯英语解题，结合并行思考与强化学习训练。谷歌后续将向部分测试者及订阅者推出模型，还公开了解题过程。
南洋理工、北大、上海AI实验室开源长记忆世界模型
目前世界模型模拟方法在维持长期一致性上有挑战，南洋理工大学、北京大学王选计算机技术研究所、上海人工智能实验室联合开源长记忆世界模型WORLDMEM，介绍了其记忆机制、基础架构、训练技术及检索策略等。
DeepMind率先拿下IMO金牌，却被OpenAI 抢先发布了……
2025年IMO成绩公布，中国队获团体第一，DeepMind和OpenAI模型都达金牌水平。但DeepMind因内部验证和规定未及时官宣，OpenAI抢先发布，引发科技巨头竞争、速度与流程等多方面讨论。
OpenAI核心研究员：比提示词工程更重要的，是spec-writing
OpenAI研究员Sean Grove在AIEWF 2025演讲提出，程序员最有价值技能是向AI传达意图，完善规范是含完整意图的「源代码」。他还分享软件工程看法，涉及规范执行、模型训练等内容。
一篇120页AI4Research（科学研究AI）最新系统性综述
为填补AI在科学研究应用缺乏全面综述的空白，提出AI4Research调查。其主流流程和分类分五个关键领域，各领域细分任务，凸显AI在研究中多样角色，还介绍多学科应用。
一步步实战 CopilotKit（AG-UI协议）：快速集成前端UI与后端Agent的神器【上】
文章介绍AG - UI协议及CopilotKit，前者为前端UI与后端Agent集成标准，后者是其参考实现。结合实例展示CopilotKit能力，包括前后端State共享、调用前端“工具”等，还给出构建演示Demo的详细步骤。
Meta为他豪掷2亿美元，上交校友庞若鸣，晒出在苹果的最新论文
苹果基础模型团队负责人庞若鸣即将加入Meta，Meta为其开出2亿美金天价。7月9日庞若鸣宣传在苹果参与的研究《AXLearn: Modular Large Model Training on Heterogeneous Infrastructure》，介绍了AXLearn系统优势、架构、实验评估等。
CS专业爆冷，失业率达艺术史2倍！年入千万只需5年，大学却在禁Cursor
在AI浪潮下，CS专业情况两极分化，25岁辍学生用不到2年打造百亿美金Cursor，而CS毕业生失业率达艺术史2倍。美国创业机构YC举办圆桌讨论，探讨AI时代职业选择、学校价值等问题。
开源2天狂揽3.3K Star！超火的隐形AI桌面助手，实时捕捉屏幕与音频，生成结构化知识！
GitHub爆火的隐形AI桌面助手Glass，开源2天Star超3.3K。它由Pickle团队开发，能捕捉屏幕和音频活动，转化为结构化信息。适合会议记录等场景，有屏幕活动捕捉等核心能力，提供不同系统安装方式。
狂涨 9.5K star！！又一款轻量好用的web自动化项目，太爽了！！
介绍开源项目Nanobrowser，它是基于Chrome扩展的AI网页自动化工具，通过多智能体协作系统理解自然语言指令完成复杂网页任务，开源免费、保障隐私，有诸多实用功能，已获9.5K star。