AI 生成的每周综合 · 规则自动选择，非人工精选 · 未逐条人工审核 · 引用科学结论前请核验原始来源
陶哲轩在ICM演讲警示: AI或产出超出人类处理能力的数学证明
发生了什么
菲尔兹奖得主陶哲轩在国际数学家大会（ICM）发表演讲《Mathematics in the Age of AI》，把当下比作1900至1930年的动荡期：罗素悖论（1901）与哥德尔不完备定理（1931）曾迫使数学家重审学科基本假设，而他认为数学正进入“数学价值与实践基础的危机”。他援引5月的First Proof实验——受控条件下前沿AI模型解出10道研究级新问题中的7道，证明经专家审阅、具发表水准——并据此提出“工作假说”：AI工具“相当快”即可完成相当比例的研究级数学任务，成功率、质量、监督与成本均合理。若假说成立，核心问题将从AI能做什么，转向数学共同体的目标与价值何在。
OpenAI: Astra内部版本在10个数学与理论计算机科学长期难题上给出新结果
发生了什么
OpenAI称其下一代模型Astra的内部版本在数学与理论计算机科学的10个长期悬而未决的问题上产出新结果，这些问题的主要结果至少十年未见进展，许多停滞更久。研究覆盖高维几何、编码理论、群论、算子代数、量子复杂度、格密码学与极值组合学，成果包括：达到Cohn-Elkies阈值的高维球堆积新上界、给定最小距离下二元码最大尺寸的改进界、非sofic群存在性的构造、对Connes刚性猜想的证伪、n⁴/log n量级的算术公式下界、一般双人量子博弈的指数并行重复定理，以及最近向量问题的多项式因子近似困难性结果；另有Ehrhart体积猜想与多色Ramsey数等工作。
