HackerNewsAI攻克传奇数学家Erdős难题：数学研究新范式诞生Quanta杂志报道，AI系统正在系统性地攻克Paul Erdős留下的经典数学难题AI辅助证明在组合数学和图论领域取得了传统方法多年未能实现的突破数学家开始将AI视为研究伙伴而非工具，标志着数学研究方法论的根本转变2 个月前访问原文链接