业余数学爱好者借助 ChatGPT 解决 Erdos 难题：AI 辅助数学发现的新纪元 daily 2026/4/26 一位业余数学爱好者借助 ChatGPT 解决了 Paul Erdos 提出的开放数学问题，这一事件在 Hacker News 引发热议，标志着 AI 辅助数学发现进入新阶段。 #ChatGPT#AI Math#Mathematics#AI Research