Grothendieckian Programme 发布 57 个开放问题

Grothendieckian Programme 发布三篇论文，提出 12 条论纲和 57 个面向数学与机器推理的开放问题，每个问题都写明了什么算作解答。其中 1–35 号问题来自推理系统架构的两部著作，36–57 号来自以具名猜想或纲领为研究对象的五部著作。 据发布方 Vincent Liu（WiseMotif.ai）说明，符合问题卡判定标准的解答会以解答者名义记入论文下一版、来源著作下一版及 SOLVED.md，但不设奖金。相关材料可在所列许可下用作基准；七部著作保留各自的 CC BY-NC-ND 4.0 许可。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。