https://openai.com/index/ten-advances-in-mathematics/
Openai 正在开发代号Astra的模型家族
主攻多AI代理长时间协同解决高难度问题的能力
最近Openai宣布用Astra攻克十道长年 悬而未解的数学难题
范围横跨高维几何、程式设计理论、群论、晶格密码学、量子复杂度、算数电路复杂度与
极值组合学等领域
其中三道是Erdos（世界最强数学家陶哲轩的老师）留下的问题
1.高维球体堆积
球体堆积密度的新上限，直至 Cohn-Elkies 阈值
2.二进制码和球面码
在任意给定的最小距离下，二进制码的最大尺寸界限呈指数级改进，高维度球面码也有类
似的结果。
3.非索菲群
一种建立非索菲群存在性的构造，解决了群论中的一个核心未解问题。
4.康涅斯刚性猜想
推翻了一个长期存在的猜想，即某些群是由它们的冯诺伊曼代数唯一确定的
5.算术电路复杂度
使用算术电路和公式计算永久式的新下界，包括 n^4/log n阶算术公式下界
6.量子并行重复
针对一般双人量子赛局的指数平行重复定理，扩展了经典复杂度理论中的基本原理
7.最近向量问题
最近向量问题的近似多项式因子难度，这是与后量子密码学相关的基础格问题
8.埃尔哈特体积猜想
确定凸体在每个维度上的最大可能体积，其中凸体的质心是其唯一的内部格点
9.多色拉姆齐数
多色三角形拉姆齐数的超指数下界，解决了Erdos第183道问题。
10.极值数猜想
关于极值图论中的紧致性和退化性猜想的结果，解决了 Erdos 第146 和 180道问题。
过程中Astra负责产出论证
人类则借助模型协助整理论文草稿
最后AI再将论证转换为Lean程式码进行形式化验证
若以GPT-5.6 Sol的API费率计算
找出这些问题解答需要的token成本约为2000美元
"我们对那些关注其影响的人士，包括《莱顿人工智能与数学宣言》的签署者，都抱持着
深深的敬意和理解。我们认为署名应真实反映结果的产生方式：将完全由AI产生的证明归
于人类作者，既扭曲了系统的贡献，也扭曲了真正人类智力劳动的本质。"