AI × SCIENCE · 开放问题追踪

未知,证毕。

Where AI turns unknowns into Q.E.D.

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

分级标准

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

问题库

按时间倒序 · 筛选出 1 / 262 条
  1. 2026-09-10计算机 · 社会选择
    基于认可投票的委员会选举中,核心总是非空的Becker、Greger 和 Peters 证明了每一个基于认可投票的委员会选举都存在核心中的委员会,并且可以在多项式时间内找到;他们的 arXiv 论文写明该证明是借助 GPT-6 Astra 得到的。Becker、Greger、Peters 与 GPT-6 Astra✓ Epoch AI 标记为人与 AI 合作解决0 条批注
    待核实