陶哲轩借助ChatGPT在10分钟内发现，编号259的Erdős问题早在1999年已被华人数学家陈永高与Imre Z. Ruzsa解决，相关答案藏于OEIS数据库A371134条目中。此次突破促成一项众包项目，通过GitHub平台系统性连接近千道Erdős问题与OEIS数列，推动公众参与和AI辅助研究。项目强调AI用于半自动化文献搜索，成果仍依赖人类验证，标志着“群众参与+智能工具”在数学研究中的新实践。
来源：https://mp.weixin.qq.com/s/6b1gXC_iKtTA9tQAgacQvg
周大 发表于 2025-10-7 15:44:21