OpenAI发布三项待验证AI研究发现
AI 总结
OpenAI公布数学、计算机科学和物理学领域的三项初步发现,并将相关手稿称为仍需外部核查和解释的原始研究材料。此前该公司发布了722份AI生成数学手稿,引发陶哲轩批评,称部分证明整理工作已成为“有毒废料”,企业竞争也忽视了人类的理解。陶哲轩关于OpenAI将项目列为最高优先级、暂停新用户注册及投入数千万美元的说法,遭到OpenAI否认。
深度见解
此次发布展示了AI大规模生成研究主张的现实,同时凸显外部验证和理解这些成果的工作量仍未解决。
(本文作者为 数智奔流,钛媒体经授权发布)
文 | 数智奔流,作者 | 田渝,编辑 | 沈校
10月26日,OpenAI又公布了数学、计算机科学和物理学领域的三项新发现。
这次,OpenAI没有把它们包装成尘埃落定的科学成果,公司将相关手稿称为有待进一步理解的原始研究材料,邀请外部专家组织研究团队,核查、解释这些结果。
与此同时,人类数学协会(AHM)最新公布的名单显示,协会已经有全球1008位成员加入,其中654人加入“无AI研究小组”,他们承诺不发表由AI生成的论文、不与前沿实验室合作、不在研究中使用AI。
如果AI能在短时间内生成数百份手稿,数学家却要花几个月甚至几年去理解和验证,那么,研究速度变快意味着什么?答案越来越容易得到,人类对知识的理解也变深了吗?
#OpenAI#Terence Tao#Association for Mathematical Research#Anthropic#Axiom Math#AxiomProver#Lean 4#Nature#Navier–Stokes equations