美国CS教授发文:数学末日来了,人类千年数学殿堂被AI毁了
10月6日,他们一次性放出了722篇重大数学难题论文。美国CS教授、ACM会士Scott Aaronson惊呼:数学末日来了!
AI数学的最后一道高墙,塌了!GPT-6 Astra刷穿FrontierMath Tier 4
henry 发自 凹非寺。Epoch AI也正式给它下了结论,FrontierMath Tier 4,饱和了。
证明大爆炸,数学界变天,AI把陶哲轩逼出「数学 2.0」
今年10月9日,加州理工学院,贝克曼礼堂,是一场迟到了一年的演讲。站在台上的,是菲尔兹奖得主陶哲轩。
AI能解千禧难题,也能杀死人类?华尔街日报拉响末日警报
说这话的,是《华尔街日报》专栏作家Ben Cohen。如果你把这一周的事情排在一起看,就会明白他们为什么坐不住了:9月3日,GPT-6 Astra发布,在FrontierMath Tier 4拿到97.6%;
AI攻克世纪数学难题,顶尖数学家抱团抵制,而他们担心的并不是丢了工作
这是克雷数学研究所提出的七大“千禧年大奖难题”之一,每题悬赏100万美元,困扰了数学界近百年。按说难题被解答,最高兴的应该是数学家才对,但三天后,25位菲尔兹奖得主联名发表公开声明《人工智能在数学中的严重错位》,集体表达了对AI破解数学谜题的不满。
AI数学的最后一道高墙,塌了,GPT-6 Astra刷穿FrontierMath Tier 4
刚刚,最后一道FrontierMath Tier 4难题,被GPT-6 Astra攻破了。Epoch AI也正式给它下了结论,FrontierMath Tier 4,饱和了。
业界大佬齐发声后,研究人员再发警告:AI可能消灭全人类
当地时间9月14日,一名前谷歌DeepMind员工成为最新一名警告人工智能(AI)可能“杀死全人类”的AI研究人员。他认为,留给人类避免这一结局的时间可能已经不多了。
最难数学题考满分,真实项目只做成两成:AI 到底有多强?
《AI 的边界》系列 · 第 1 篇2026 年 9 月,Epoch AI 推出 FrontierMath: Erdős 测试,收录 68 道大数学家埃尔德什留下、此前无人解决的难题。
阿里发布千问最强模型,多项测试获全球第一
(文/陈济深 编辑/张广凯) 1月26日晚,阿里正式发布千问旗舰推理模型Qwen3-Max-Thinking。 该模型总参数量超万亿(1T),预训练数据量高达36T Tokens,是目前阿里规模最大、能力最强的千问推理模型。
2026,AI给数学家带来危机
7月20日,Anthoropic的一名员工Levent Alpöge在X.com上说,自己在看世界杯时,顺手用Fable 5找出了雅可比猜想的一个反例,在X上引起轩然大波,因为这是数学界的顶级“悬案”之一,人们用了87年试图证明它的正确性;