跳到正文
原文
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