HackerNews
陶哲轩用ChatGPT探讨雅可比猜想反例，数学界震动
- 菲尔兹奖得主陶哲轩在ChatGPT中进行了关于雅可比猜想反例的深度数学对话
- 该对话展示了AI辅助高阶数学研究的实际能力，引发学术界广泛讨论
- HN评分高达932分，反映出技术社区对AI+数学交叉领域的强烈关注
1 个月前访问原文链接
HackerNews
Claude模型发现雅可比猜想反例，AI数学能力再突破
- Anthropic的Claude模型生成出雅可比猜想（Jacobian Conjecture）的反例
- 雅可比猜想是代数几何领域著名的开放数学难题，已有数十年历史
- 这一发现展示了AI在数学推理和发现方面的惊人潜力
1 个月前访问原文链接
HackerNews
GPT-5.6证明图论经典猜想：AI数学能力里程碑
- OpenAI的GPT-5.6 Sol Ultra成功证明了图论中悬置50年的Cycle Double Cover猜想
- 该猜想自1970年代提出以来一直未被严格证明，是图论领域的重要开放问题
- 论文以PDF形式发布在OpenAI官方CDN上，展示了AI在纯数学推理中的突破
1 个月前访问原文链接
HackerNews
AI正在数学领域引发根本性变革
- IEEE Spectrum报道AI在数学领域的发展正在改变基础研究方式
- AI辅助定理证明和数学发现引发学术界对研究本质的讨论
- 数学家开始重新思考人类在数学研究中的角色定位
2 个月前访问原文链接