AI × SCIENCE · 开放问题追踪

未知,证毕。

Where AI turns unknowns into Q.E.D.

追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源,并向所有人开放批注与质询。

分级标准

完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例,原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明,尚未经过独立验证。

问题库

按时间倒序 · 筛选出 1 / 262 条
  1. 2026-02-28计算机 · 组合
    Claude 的圈:将三维环面有向图分解为哈密顿圈Claude Opus 4.6 找到了一个构造,对所有奇数 m,把 Knuth 即将出版的 TAOCP 章节中的一个有向图分解为三个哈密顿圈;Knuth 给出了证明,并已完成 Lean 形式化。偶数情形另有一个尚未核实的 AI 证明。Claude Opus 4.6(Anthropic),由 Filip Stappers 引导;证明由 Donald Knuth 完成✓ 证明由 Knuth 写出 · Lean 形式化(Kim Morrison)0 条批注
    完整解