AI × SCIENCE · 开放问题追踪

未知,证毕。

Where AI turns unknowns into Q.E.D.

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

分级标准

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

问题库

按时间倒序 · 筛选出 1 / 262 条
  1. 2025-05计算机 · 算法
    4×4 复矩阵乘法:AlphaEvolve 找到 48 次乘法的算法AlphaEvolve 找到只需 48 次标量乘法的 4×4 复矩阵乘法算法,改进了递归使用 Strassen 方法所需的 49 次。AlphaEvolve(Google DeepMind)✓ 可直接验算0 条批注
    部分结果