Hacker News· AlienMuse·· 3 小时前AI 评分22
Grothendieckian Programme 发布 57 个数学与机器推理开放问题
The 57 Grothendieckian Problems: open problems for math and machine reasoning
AI 导读
Grothendieckian Programme 发布三篇论文，提出 12 条论纲和 57 个面向数学与机器推理的开放问题，每个问题都明确了什么算作解答。57 个问题中，1–35 号来自推理系统架构的两部著作，36–57 号来自以具名猜想或纲领为研究对象的五部著作。
来源：Hacker News · github.com