「科学验证」共找到 1072 篇相关文章
只要科学任务能打分，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融入科研的“双重效应”：它是个人科研“加速器”，让使用者产出和职业发展提升；也是科学整体“收缩器”，使集体知识疆域收窄。
传奇黑客首次造出“透明芯片”，从硬件到代码全部公开可验证
8月初第34届Defcon黑客大会，主办方发放美籍华裔黑客黄欣国设计的徽章，核心是开源微控制器Baochip - 1x。该芯片从设计到制造全开放可验证，用红外原位检测，还集成硬件加固手段，安全性能对标商用元件。
OpenAI 直播摘要：AI 将推动科学进步，个人 AGI 即将到来，未来将非常光明
OpenAI 直播中，Sam Altman 和 Jakub Pachocki 透露重磅信息，称个人 AGI 即将到来，未来光明。公布通向超级智能时间表，对深度学习有信心，谈及基础设施扩张、公司架构变化等，还预测科学发现进程。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
1052篇文献！上海AI Lab发布科学LLM综述：从数据基础到Agent前沿
上海AI Lab主导，25家研究机构共同梳理270+训练集、190+评测集，提出科学数据分层框架与智能体闭环科研新范式。还介绍了模型演进、数据情况、评估基准等，指出数据缺陷并展望走向科学家智能体的三步。
轻量级易开发，8B参数释放大实力！科学多模态模型Intern-S1-mini开源
上海人工智能实验室继7月26日开源后，推出轻量化版本Intern-S1-mini。它是8B参数“迷你模型”，兼具通用与专业科学能力，适合快速部署和二次开发，在多方面表现出色，还降低了对高端计算设备依赖。
RoboScience机器科学发布轮式仿人形机器人REX G1，打造新一代具身生产力伙伴
8月17日，RoboScience机器科学发布轮式仿人形通用操作机器人REX G1。它搭载自研VLOA架构通用具身大模型Visics，面向多场景，能在真实世界完成任务闭环，具备多方面优势。