AI科研4天前·Phys.org
AI 辅助解决数十年流体力学难题，仅用五周但伴随微妙错误据 Phys.org 报道（2026年8月27日），科罗拉多大学博尔德分校的研究人员利用 AI 助手，仅用五周时间就解决了一个困扰实验室一年半的数学难题，但 AI 在求解过程中出现了不易察觉的细微错误。
AI 资讯
每日精选 AI 行业动态，点开标题可直达原文出处。
每日精选 AI 行业动态，点开标题可直达原文出处。
据 Phys.org 报道（2026年8月27日），科罗拉多大学博尔德分校的研究人员利用 AI 助手，仅用五周时间就解决了一个困扰实验室一年半的数学难题，但 AI 在求解过程中出现了不易察觉的细微错误。
媒体报道指出，AI工具正在与人类数学家深度协作，开启数学研究的新黄金时代。AI辅助证明、猜想生成和模式识别正在加速数学发现的步伐，从数论到几何拓扑各领域均有突破性进展。（据 MSN 2026年7月23日报道）
AI 系统 Theo Conjecture 成功解决了一个 35 年未解的数学猜想，发现了此前无人预测到的数学项。这是 AI 在纯数学领域取得的又一重大突破，展示了 AI 在科学发现中的巨大潜力。（据 First Principles 于 2026 年 7 月 29 日报道）
媒体报道指出，AI工具正在与人类数学家深度协作，开启数学研究的新黄金时代。AI辅助证明、猜想生成和模式识别正在加速数学发现的步伐，从数论到几何拓扑各领域均有突破性进展。（据 MSN 2026年7月23日报道）
据 Chemistry World 于2026年6月5日报道，Google 的 Co-Scientist 和初创公司 Futurehouse 的 Robin 两款 AI 研究助手正在化学和生物科学领域发挥越来越重要的作用。这些工具能够帮助科学家自动生成研究假设、设计实验方案和深度分析实验数据。报告指出 AI 研究助手正在从概念验证走向日常科研工具，有望显著加速科学发现的进程。
作者：Matthias Bastian；来源发布时间：2026-06-01。The Decoder 报道图灵奖得主 Richard Sutton 认为传统生成式 AI 的核心弱点是不能评估自己的结果，因此难以完成真正的科学发现。他认为 AlphaGo、AlphaProof 这类系统的关键在于内置评估循环，能让新想法被检验、保留和迭代。
作者：OpenAI；时间：2026-05-20。OpenAI 称其内部通用推理模型在平面单位距离问题上取得突破，推翻了长期以来关于方格构造近似最优的猜想，并给出一族可产生多项式改进的例子。OpenAI 表示该证明已由外部数学家检查，且模型并非专门为数学或该问题训练。该事件的重要性在于，AI 科学发现的叙事从“辅助检索和形式化”进一步走向“提出跨领域原创思路”，但仍需要同行审查和可复核证明来确立可信度。