研究突破上个月·First Principles
AI 系统 Theo Conjecture 解决 35 年未解数学难题AI 系统 Theo Conjecture 成功解决了一个 35 年未解的数学猜想，发现了此前无人预测到的数学项。这是 AI 在纯数学领域取得的又一重大突破，展示了 AI 在科学发现中的巨大潜力。（据 First Principles 于 2026 年 7 月 29 日报道）
AI 资讯
每日精选 AI 行业动态，点开标题可直达原文出处。
每日精选 AI 行业动态，点开标题可直达原文出处。
AI 系统 Theo Conjecture 成功解决了一个 35 年未解的数学猜想，发现了此前无人预测到的数学项。这是 AI 在纯数学领域取得的又一重大突破，展示了 AI 在科学发现中的巨大潜力。（据 First Principles 于 2026 年 7 月 29 日报道）
据 Chemistry World 于2026年6月5日报道，Google 的 Co-Scientist 和初创公司 Futurehouse 的 Robin 两款 AI 研究助手正在化学和生物科学领域发挥越来越重要的作用。这些工具能够帮助科学家自动生成研究假设、设计实验方案和深度分析实验数据。报告指出 AI 研究助手正在从概念验证走向日常科研工具，有望显著加速科学发现的进程。
作者：OpenAI；时间：2026-05-20。OpenAI 称其内部通用推理模型在平面单位距离问题上取得突破，推翻了长期以来关于方格构造近似最优的猜想，并给出一族可产生多项式改进的例子。OpenAI 表示该证明已由外部数学家检查，且模型并非专门为数学或该问题训练。该事件的重要性在于，AI 科学发现的叙事从“辅助检索和形式化”进一步走向“提出跨领域原创思路”，但仍需要同行审查和可复核证明来确立可信度。