“确定精神错乱”:数学家需要数年才能理解OpenAI的最新下降。

“错位 ” “ 压倒性 ” “ 前所未有的 ” 。

“ 真实 ” “ 肯定精神错乱 ” 。

这些是30多名数学家在与The Verge的交谈中接触到的描述之一,他们试图理解本周OpenAI突然掉到球场的数学结果的泛滥。

在对大海规模的敬畏、兴奋和不确定性中,人们对于它意味着什么——以及接下来会发生什么——深感焦虑。

对于所有不同的反应,研究者都同意,仅仅了解OpenAI的释放可能要花很多年时间,更不要说知道数学家们自己在他们周围的变化中适合哪个领域了。

许多人担心OpenAI不会等那么久再继续前进,甚至释放更多。

OpenAI总共发布了近400个AI生成的结果。

这些作品分布在700多部手稿中,涵盖多种数学学科,包括组合学,几何学,数字理论,理论计算机科学,代数学,地形学,概率学和统计力学,以及数学物理学等多个分支.

收藏量如此之大,以至于OpenAI感到需要发布如何浏览无序的 GitHub 存储器的指南。

工作量之大,甚至对公司所发布的内容进行了初步评估。

在下降后的数小时和数天里,大多数数学家The Verge交谈说,他们仍然在努力消化一切;一些人说,仅仅通过大约40页的目录和摘要,就花费了他们一个小时的好时间。

康涅狄格大学的数学教授Álvaro Lozano-Robledo说, 在数百份手稿中喷洒的是Lean的正式化,这是一个编程语言和证明助理,可以对结果进行计算验证.

这些形式化证明有助于评估OpenAI以前的一些数学主张,使研究者相信某项主张在逻辑上是正确的,即使他们不完全理解其背后的论点。

但每项结果的核实程度大不相同。

在GitHub上,OpenAI承认结果“处于不同的核查阶段 ” , “ 许多但并非所有的手稿都已正式化。

”