[讨论] AI即将统治数学界

楼主: yamakazi (大安吴彦祖)   2026-07-25 09:57:34
前费尔兹奖得主陶哲轩在几个月前接受podcast节目访问时被问到
“AI能否拿菲尔兹奖?”
陶哲轩回答“能拿半个”
昨天颁发这届菲尔兹奖
颁奖前,Anthropic研究员在推特上开玩笑说,这届菲尔兹奖可能是最后一届人类拿奖
数学界几乎没人反对
前费尔兹奖得主Timothy Gowers
回应“我也有差不多想法,但我觉得差不多是2030年”
虽然确切时间仍有歧异
但AI统治数学界已经是大家默认的事实
5/20 Openai 一个内部推理推翻了“单位距离猜想”,该猜想已经存在80年
之后找了九位顶尖数学家验证通过
去年Google Ai已经拿了IMO金牌
而且人类无需介入,直接给他看原生考题就可以跑出解答
7/20 Fable 5仅花了数十分钟就找出雅可比猜想的一个反例
而且不只AI
理论物理也差不多同样情况
哈佛物理教授Matthew Schwartz
在三月利用opus 4.5
短短两周完成了需要博士后一两年才能完成的论文。
虽然中间抓到一些造假
但在纠正AI后
顺利完成论文
作者: j0958322080 (Tidus)   2026-07-25 10:53:00
两年拿1.5个博士学位?
作者: abc0922001 (中士abc)   2026-07-25 12:44:00
最近几次都是 AI 借助现有工具去证明数学,没有创新
作者: kiwi3741722 (超级奇异果)   2026-07-25 13:55:00
LEAN
楼主: yamakazi (大安吴彦祖)   2026-07-25 14:06:00
很创新啊,80年才有人想到这个反例
作者: dream1124 (全新开始)   2026-07-25 14:31:00
你想表达什么? 一个花了数万年时间读数千年经典的机器如果在有答案考试还要人辅助才能答题,那叫设计不理想其他部分就是赌赢了,但连你自己都不敢讲不用人介入,所以引用一些名人看法想说明什么?科技再进步,“最佳员工奖”本就会给人类而非机器啊~2030以后还是只会给人类,毕竟颁奖本来就是人类活动。是人类且在人类世界生活要有人类认知才不会被AI取代。
楼主: yamakazi (大安吴彦祖)   2026-07-25 14:41:00
干嘛那么生气XD
作者: darkMood (瞬间投射)   2026-07-25 16:54:00
不意外,人类没那么闲天天研究数学。
作者: Obama19 (^_^)   2026-07-25 18:28:00
网站上很多人不知为何碰到AI议题就会直接理智断线
作者: workhardplz   2026-07-25 18:30:00
推楼上 一堆人像是得了ai敏感肌一样
楼主: yamakazi (大安吴彦祖)   2026-07-25 20:57:00
https://i.imgur.com/bKtEAjx.jpeg在别篇新闻也在问“你想表达什么”
作者: k7ji91ab5m (囧嘻嘻)   2026-07-25 22:41:00
很久没来了没想到现在还在整天把AI当义和团真是笑死XD
作者: jamo (hi)   2026-07-25 22:51:00
物理我觉得没啥机会,因为物理都需要现实观察验证,而人类科技的物理已经发展到不是没理论,而是验证新理论的成本,人类现在都付不起来(ex:强子对撞机)
作者: LincolnBoy   2026-07-26 13:20:00
AI真的太神
作者: SkankHunt42 (me so horny)   2026-07-26 14:27:00
dream1124现实应该过得很不开心吧
作者: USD5566 (美金五千五百六十六)   2026-07-26 19:45:00
所以跟软工板关系是什么
作者: galic (嘎利)   2026-07-26 20:45:00
AI抢工作阿 连数学家都不放过
楼主: yamakazi (大安吴彦祖)   2026-07-26 21:55:00
今年的菲尔兹奖得主去OpenAI了,应该算跟软工有关系吧
作者: jamesho8743 (加拿大好美)   2026-07-26 21:56:00
反AI狂 不知AI跟他有什么仇 叫叫叫也改变不了世界对AI的看法
作者: final01 (牛顿运动定律)   2026-07-26 22:23:00
原来发博士伦文就能得费尔兹奖??
作者: realbout (萨摩诃)   2026-07-27 10:52:00
统治人类或地球都不意外.....
作者: jobintan (Robin Artemstein)   2026-07-27 11:31:00
软工=资工=应用数学领域,所以还是有关系的。除非你们都只写CRUD没碰到需要资料结构与算法的…
作者: sniper2824 (月夜)   2026-07-27 12:07:00
这个人蛮好笑的 先前被嘴就开始记恨 没事就要贴一篇来自以为”打脸” 殊不知被讨厌的是自己==
楼主: yamakazi (大安吴彦祖)   2026-07-27 12:56:00
又一个生气的XD

Links booklink

Contact Us: admin [ a t ] ucptt.com