AI数学 2026-08-21 陶哲轩警告数学将迎证明过剩危机 编辑精选 他把 AI 解一道未发表研究题的账算到数十至数百美元,然后把问题掉了个头:稀缺的将不再是证明,稀缺的是能读懂证明的人。数学界一百年来第一次要为自己的产出过多做准备。 陶哲轩把他在 2026 年国际数学家大会上的公开讲座整理成一篇十 #AI科研#学术
OpenAI 2026-05-21 OpenAI 模型攻克 Erdős 80 年数学猜想 5月20号晚上,OpenAI扔了一份证明出来。 1946年Paul Erdős问过一个问题:平面上摆n个点,能有多少对点彼此距离恰好等于1?整整80年里,数学界主流的答案是——按方格排大致就接近最优,对数最多到 n^ 1+o 1 ——意思是 #AI数学#推理模型#科研AI