AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 2026-09-10计算机 · 社会选择基于认可投票的委员会选举中，核心总是非空的Becker、Greger 和 Peters 证明了每一个基于认可投票的委员会选举都存在核心中的委员会，并且可以在多项式时间内找到；他们的 arXiv 论文写明该证明是借助 GPT-6 Astra 得到的。待核实
- 2026-02-28计算机 · 组合Claude 的圈：将三维环面有向图分解为哈密顿圈Claude Opus 4.6 找到了一个构造，对所有奇数 m，把 Knuth 即将出版的 TAOCP 章节中的一个有向图分解为三个哈密顿圈；Knuth 给出了证明，并已完成 Lean 形式化。偶数情形另有一个尚未核实的 AI 证明。完整解
- 2025-05计算机 · 算法4×4 复矩阵乘法：AlphaEvolve 找到 48 次乘法的算法AlphaEvolve 找到只需 48 次标量乘法的 4×4 复矩阵乘法算法，改进了递归使用 Strassen 方法所需的 49 次。部分结果