AI解决了数学100万元千年奖问题之一

本期编译精选。

保存文章

稍后读

份额

脸书

被拦截了！

复制链接

电子邮件

纸袋

编辑

Ycombinator 组合键

保存文章

稍后读

稍后读

人工智能

以

康斯坦丁·卡凯斯

OpenAI的数学家们显示，描述流体流动的纳维埃-斯托克斯方程有时可以吹起. 但这一大规模的结果并非没有争议。

保存文章

稍后读

“blowup”的证据使数学界大为震惊。

iStock （英语）.

导言

贡献作家

打印模式

人工智能

计算机科学

流动动态

数学物理学

数学

纳维尔-斯托克斯方程式

所有专题

9月8日（星期二）上午，OpenAI的数学家宣布，一群在他们指导下的一万名自主AI代理，运行在公众无法获取的先进模型上，在纳维耶-斯托克斯方程式中发现了三个维度的同源性——从而解决了克莱数学研究所在2000年提出的剩下的六个千年奖问题之一，每个都携带了一百万美元的奖金。他们的结果在编程语言利恩(Lean)中被正式检查出，使数学家相信这确实是正确的。

如果结果需要进一步审查，那么从相当的程度上讲，它是迄今为止通过人工智能模型得出的最重要的数学证据，这可能标志着数学家如何解决困难问题的根本转折点。

这一特别困难的问题涉及微分等式，这些等式表达了不断变化的数量之间的关系。它们可以说是解释我们周围世界的最重要数学工具。通常，它们很容易被写下来，很难解决。

（原文共 6 张图片，此处展示前 3 张，更多图片请前往原文查看）

（编译自 Quanta Magazine；原文