Hacker News:AI 热帖· NatalieTrono·· 4 天前AI 评分28
Erdős Problems:面向 AI 数学问题的新网站上线
New site for AI math problems
AI 导读
Erdős Problems 新网站上线,作为 Erdős 问题的开放记录,支持讨论解题思路、提交证明,并基于开放仓库构建。网站当前列出 516 个未解决、99 个已认领、606 个已解决问题,涵盖几何、等差数列、图论等数学领域,供 AI 数学问题求解使用。
来源:Hacker News:AI 热帖 · erdosproblems.ai