「科学验证」共找到 1149 篇相关文章
从答题到做实验：SciAgentGym让大模型进入科学工作流
复旦大学NLP实验室提出SciAgentGym，为科学智能体搭建工作流环境，还设计了评测集SciAgentBench。实验显示模型接入工具能提升成功率，但长流程任务性能下降。论文还提出SciForge构建训练数据，提升了模型表现。
刚刚，清华黄高、北大刘譞哲等入选2026科学探索奖
2026年「科学探索奖」获奖名单揭晓，50位青年科学家入选，覆盖10个领域。其中信息电子领域5人，包括清华黄高、北大刘譞哲等，他们研究方向多元，成果显著，对AI发展意义重大。
GPT-4o连验证码都解不了？？SOTA模型成功率仅40%
MetaAgentX团队推出Open CaptchaWorld平台，用于测试Agent解验证码能力。实测SOTA多模态模型成功率低，如GPT - 4o也被难住。该平台特点多样，揭示了当前Agent短板及模型设计新方向。
Claude Opus 4.7发布：更严谨的长任务处理与自我验证能力
Anthropic发布Claude Opus 4.7模型，相比4.6版处理长任务更严谨，能自我验证输出。它在视觉、指令遵循、记忆等能力上提升，企业级应用表现出色，还有新功能与安全特性，不过使用成本更高。
只要科学任务能打分，AI就能实现SOTA结果 | 谷歌最新论文
谷歌最新论文提出，只要科学任务可评分，用大模型+树搜索，让AI大海捞针，就能找到超越人类专家的方法实现SOTA结果。他们开发的AI系统在多领域发明新方法，都达SOTA水平。
Demis Hassabis：AGI 还缺什么，智能体到底行不行，下一个科学突破长什么样
Google DeepMind CEO Demis Hassabis 做客直播，探讨当前 AI 范式距 AGI 差距、智能体水平、科学突破模式等话题。指出当前范式或需关键突破，记忆方案待优化，AlphaGo 技术复活，还给出创业建议。
斯坦福宣布重磅AI战略重组：将HAI与数据科学合体，李飞飞升任校长顾问
斯坦福大学宣布将HAI与数据科学计划合并，新机构仍称HAI。李飞飞卸任联席院长，任校长AI特别顾问。新机构将围绕跨学科发现、教育变革、社会影响研究开展工作，强调开放原则并拓展国际合作。
Nature | 清华&芝大团队：AI让个体科学家“加速”，却让科学边界“收缩”
2026年1月14日，清华与芝大团队在《Nature》发表研究，通过分析4100余万篇论文，揭示AI融入科研的“双重效应”：它是个人科研“加速器”，让使用者产出和职业发展提升；也是科学整体“收缩器”，使集体知识疆域收窄。
姚顺宇、施天麟聊 RSI：最难的不是实现自我迭代，而是如何验证迭代有效
本文整理自AGI House上海RSI主题圆桌讨论，姚顺宇、施天麟等业内专家围绕RSI定义、落地成果、核心卡点、产业分工展开讨论，指出RSI验证迭代有效性才是当前最大难点。
传奇黑客首次造出“透明芯片”，从硬件到代码全部公开可验证
8月初第34届Defcon黑客大会，主办方发放美籍华裔黑客黄欣国设计的徽章，核心是开源微控制器Baochip - 1x。该芯片从设计到制造全开放可验证，用红外原位检测，还集成硬件加固手段，安全性能对标商用元件。