您现在的位置是:新闻中心 >>正文
陶哲轩、邓煜均在列!25位菲尔兹奖得主联合警告AI正毁掉数学
新闻中心84189人已围观
简介9月12日消息,当地时间11日,25位菲尔兹奖得主联合发布声明《人工智能在数学中的严重错位》,陶哲轩、邓煜、彼得·舒尔茨等顶尖数学家为首批签署人。声明首先肯定,近期大模型数学能力大幅跃升 ...
9月12日消息,陶哲当地时间11日,轩邓学25位菲尔兹奖得主联合发布声明《人工智能在数学中的煜均严重错位》,陶哲轩、列位联合邓煜、兹奖正毁彼得·舒尔茨等顶尖数学家为首批签署人。得主掉数
声明首先肯定,警告近期大模型数学能力大幅跃升,陶哲已经能够攻克不少长期悬而未决的轩邓学数学难题,AI可以作为科研工具辅助数学研究。煜均
但核心担忧在于,列位联合AI企业把 “能否快速解出数学难题” 当作衡量大模型能力的兹奖正毁核心标尺,这和数学研究本身的得主掉数目标出现严重错位。
数学家们提出,警告数学的陶哲本质不只是拿到一道题的答案,更重要的是形成全新概念、建立逻辑洞见、完成学术交流,让后人能够理解、复用、拓展这套思路。
如果一味追求AI快速输出证明,会催生大量人类难以读懂的证明文本,压缩同行评审、严谨核验的空间;还会带来学术署名、抄袭溯源等一系列学术伦理问题,长期会破坏数学共同体赖以生存的科研生态。
他们强调,并非反对使用AI做数学研究,而是反对资本与AI公司单向定义数学价值,不能让“解题速度”成为评判数学成果的唯一标准。
这份声明是过去一周内多位菲尔兹奖得主集中讨论后快速推出,学者们认为事态紧迫,来不及大范围征求更广泛学界意见,因此先行对外发布,后续还开放更多数学家追加签名。
值得一提的是,近日,OpenAI旗下多款大模型接连攻克困扰人类数十年的数学难题。
其中在本月8日对外公布称,其一款尚未对外发布、数学能力显著强于GPT-6 Astra的内部大模型,借助约1万个AI智能体协同工作,仅耗时88小时,完成七大千禧年大奖难题之一的“纳维 - 斯托克斯存在性与光滑性问题”的证明。
该公司已经推出的GPT-6 Astra也一举攻克5道人类悬而未决的Erdős数学难题,其中包括包括Erdős18岁提出、自称“人生第一个正经问题”的1931年解离集猜想,以及极值图论赫赫有名的Erd?s-Sós猜想。
Tags:
相关文章
高德地图上线张雪语音包 免费送820RR冠军车标
新闻中心9月23日消息,高德地图联合张雪机车,正式上线张雪安全骑行语音包,同时放出免费的820RR冠军车型3D导航车标,摩托车导航也同步升级安全预警能力,骑摩托的用户可以直接体验。张雪机车在WSBK?SSP赛 ...
【新闻中心】
阅读更多《GTA6》主线时长60小时创系列纪录!游玩建议80小时
新闻中心随着《GTA6》发售日期的临近,据Rockstar Games官方透露,本作纯主线剧情通关时间约为50至60小时,超越《圣安地列斯》成为《GTA》系列史上故事战役最长的作品。在近日于Rockstar ...
【新闻中心】
阅读更多皇社边锋:我觉得巴萨现在更强,但穆帅的皇马可能改变一切
新闻中心在对阵皇马的比赛之前,皇家社会边锋巴雷内切亚接受了《阿斯报》的专访,其中,他谈到了自己对皇马和巴萨的看法。说到下一个对手,聊聊皇马和巴萨,他们原本就拥有实力强劲的阵容,现在更是进一步补强,你觉得这些加 ...
【新闻中心】
阅读更多
热门文章
最新文章
友情链接
- 伤病追踪:巴萨中场轮换受影响,毕尔巴鄂后防两人缺阵
- 开拓者2K能力值榜:杨瀚森70全队第15仅优于3双向球员 无人达到90
- 超梦变移动SSD!闪迪推宝可梦30周年联名款
- vivo X500 Pro Max搭载Ultra同款灭霸长焦:新一代演唱会神器
- 2026年Q2全球手机畅销榜公布:苹果霸榜 iPhone 17稳居第一
- 工信部:加快6G核心技术攻关!为6G商用做好准备
- 天津日报:津门虎将迎来3连主场,巴顿认为回家一切都会好些
- 新鹏城01海港武磊助攻蒯纪闻中超处子球海港近5轮4胜1平
- 天空记者:曼城和切尔西都将斯科特视作恩佐的替代者
- 为蓝厂量身定制!vivo X500 Pro搭载85mm蔡司6400万APO超级长焦