AI × SCIENCE · 开放问题追踪

未知,证毕。

Where AI turns unknowns into Q.E.D.

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

分级标准

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

问题库

按时间倒序 · 筛选出 42 / 262 条
  1. 2025-09-29数学 · 图论
    Erdős 问题 #1008GPT-5 发现这个问题在文献中早已被解决(2025 年 9 月 29 日)。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  2. 2025数学 · 加性组合
    Erdős 问题 #198AlphaProof 为一个早已解决的问题给出了新证明(2025 年)。AlphaProof✓ 收录于 Tao 的 Wiki0 条批注
    已有文献