#OpenAI攻破数百个数学难题#OpenAI 的内部AI模型,最近一口气解决了好几百道数学家们啃了几十年甚至上百年都没啃下来的硬骨头。
他们还把模型生成的722篇数学论文分成372组相关结果全公开了,直接扔到GitHub上。这些问题覆盖数论、几何、代数、计算机理论、物理数学等十几个大方向。
其中比较炸的包括接近黎曼猜想的准黎曼猜想、霍奇猜想的一部分、还有π的一些性质、各种长期悬而未决的猜想和难题。之前它还用88小时搞定了千禧年难题之一的纳维-斯托克斯方程。
现在的AI已经能批量解决人类顶尖数学家长期搞不定的问题了,而且速度极快,这让数学界也直接被炸懵了。有人觉得这是历史性突破,也有人担心以后数学研究方式会彻底变天。
发布于 陕西
