OpenAI 宣布数学、计算机科学和物理三项重大发现,并引入外部专家验证机制
OpenAI 宣布三项重大发现,涉及数学、计算机科学和物理,包括证明指数时间假说(ETH)为假、在所有维度证明局部平滑猜想并由此解决 Kakeya 猜想,以及关于四维含规范场和费米子的相互作用量子场论的严格存在性证明。
推荐理由:OpenAI 公布三项科学成果并尝试引入外部专家把关,其顾问委员会同时批评了这种先给指定专家的发布方式。
OpenAI 宣布三项重大发现,涉及数学、计算机科学和物理,包括证明指数时间假说(ETH)为假、在所有维度证明局部平滑猜想并由此解决 Kakeya 猜想,以及关于四维含规范场和费米子的相互作用量子场论的严格存在性证明。
推荐理由:OpenAI 公布三项科学成果并尝试引入外部专家把关,其顾问委员会同时批评了这种先给指定专家的发布方式。
OpenAI 称其未公开的内部模型用平均约 3 小时解决了三维挂谷极大函数猜想,并首次证出四维挂谷集的豪斯多夫维数等于 4,此前人类在四维的最好成绩是 2021 年得到的 3.059。
推荐理由:梳理OpenAI一次性放出722篇数学手稿引发的学界争议,呈现验证难题与数学家质疑的具体分歧。
OpenAI 在一个公开 GitHub 仓库中发布了其未公开内部前沿模型产出的数学成果,称这批结果来自约 4000 个研究问题的评估,平均每个结果消耗约三小时 ChatGPT Pro 的思考算力。
推荐理由:OpenAI 用内部模型批量产出数学结果,读者可据此了解这批成果的规模、算力成本与外界质疑。
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿,论文和部分 Lean 证明上传至 GitHub,其中编号 074 的两篇共 272 页,作者栏只写 OpenAI。
推荐理由:OpenAI 一次性放出 722 篇数学手稿并声称推进挂谷猜想,读者可据此了解数学界对 AI 批量产出证明的争议。