陶哲轩：OpenAI 又在数学领域取得重大突破，是该问题 50 年来最大的进展。 10 月 15 日，陶哲轩在 Numberphile 的访谈中，对 Ope… · @MaxForAI · TwKit

@MaxForAI

陶哲轩：OpenAI 又在数学领域取得重大突破，是该问题 50 年来最大的进展。 10 月 15 日，陶哲轩在 Numberphile 的访谈中，对 OpenAI 新公布的数学成果给出了很高的评价。 具体来说，OpenAI 公布的论文给出的结果是：黎曼 ζ 函数在实部大于 7/8 的区域内没有零点。 黎曼猜想的完整目标，是所有非平凡零点的实部都等于 1/2。 这次进一步收窄了零点可能出现的范围，相关论文和对应的 Lean 形式化证明已经公开。 他甚至表示任何一位在世数学家独自研究，都很难想到这种组合。 如果把合适的一群数学家聚在一起，经过大量试错，可能找到同样的路线。 也许你觉得@OpenAI 只是把三四种已有的数学思路，以一种非常不寻常的方式组合起来。 “把已有知识重新组合”，这句话说起来很容易。 真正面对一个问题，你得知道哪些方法值得尝试，它们能在什么条件下接起来，中间的缺口怎么补。 每一步都需要判断，也都可能让你走很久的弯路。 过去的人类研究者花很多时间读文献、和同行交流、反复推演，就是在寻找这些连接。 你现在能理解为什么之前那群数学家会联名反对AI来搞数学了吧。

曝光 2539 · 评论 3 · 点赞 12 · 书签 4