刚刚,OpenAI往数学界扔了颗重磅炸弹——
一口气公开722篇数学手稿,全部出自一个还没发布的内部模型。
这些手稿归成372组结果。据OpenAI介绍,模型此前一共尝试了约4000个研究问题,平均每项结果消耗的算力,约相当于ChatGPT Pro思考3小时。
论文、源码、部分Lean证明,被一股脑传上了GitHub。
翻开目录,准黎曼猜想、霍奇猜想、BSD猜想、π的无理性指数……一个比一个名头大。
光是千禧年难题,就沾上了三道。
再往下翻,还有自旋玻璃、量子磁性、自由群因子、相对论性弗拉索夫—麦克斯韦方程……数论、代数几何、理论计算机、统计力学,17个方向铺得满满当当。
一夜之间,数学论文堆成了山。
数学家们看了直呼:这谁读得完啊……
http://t.cn/AXWsyQMc
