HackerNews

AI攻克传奇数学家Erdős难题：数学研究新范式诞生

• Quanta杂志报道，AI系统正在系统性地攻克Paul Erdős留下的经典数学难题
• AI辅助证明在组合数学和图论领域取得了传统方法多年未能实现的突破
• 数学家开始将AI视为研究伙伴而非工具，标志着数学研究方法论的根本转变

2 个月前访问原文链接

HackerNews

陶哲轩ICM演讲全文：AI时代数学研究的范式变革

• 菲尔兹奖得主陶哲轩在2026年国际数学家大会发表AI时代的数学主题演讲
• 演讲系统探讨AI如何改变数学研究范式，涵盖自动定理证明与数学发现
• HackerNews评分高达128分，技术社区对该话题表现出极高关注度

2 个月前访问原文链接