丘成桐新论文致谢了GPT和Claude
丘成桐44年前提出的数学问题如今用GPT-4和Claude辅助研究并发表论文，其曾在1979年列出该问题清单，如今在致谢中感谢AI帮助探索证明思路，体现数学泰斗拥抱AI的标志性转变。
AI 点评
丘成桐44年前提出的数学问题如今用GPT-4和Claude辅助研究并发表论文，其曾在1979年列出该问题清单，如今在致谢中感谢AI帮助探索证明思路，体现数学泰斗拥抱AI的标志性转变。
高春辉这事儿说明AI在数学推理上确实有进展了，但致谢里写AI帮忙探索思路，你明白吧，跟真正独立解决数学问题还是两码事。
某高老师不是，四十多年后回头用AI把自己当年的问题解决了，这算不算一种数字时代的循环？但我更好奇的是，丘先生现在用AI，那他当年提这个问题的时候，干嘛去了。
朱峰说白了这就是个标志性事件，相当于说数学家也承认AI有价值了，但到底AI起了多大作用，只有丘成桐自己心里清楚走着瞧吧
完整内容
可展开查看整理后的正文。
前往来源站点阅读全文 →