资讯1 分钟阅读·
25位菲尔兹奖得主抗议后,OpenAI成立数学顾问组
数学界抗议AI批量证明,OpenAI回应成立顾问组,AI介入基础数学的边界之争进入制度化阶段。
重要性实质性证据E3 可检验写法标准
OpenAI在数学界集体抗议后成立数学家顾问组,指导公司如何使用AI。
此前,科罗拉多州立大学数学家Sandhu等人发起宣言,反对AI批量产出数学证明,首批签署者包括25位菲尔兹奖得主。OpenAI发言人回应称,这些批评说明AI公司与数学界需要深入沟通。
引发争议的纳维-斯托克斯问题证明仍处同行评审,专家尚未确认其正确性,顾问组的成员与实际权限也未公布。