sharkwuhupu(110级)楼主2026-08-02 20:16:46发布于广东炸裂！炸裂兹奖主干OpenAI宣称其新大模型处理了10个菲尔兹奖级别的宣称型处学状行街数学状况由sharkwuhupu发表在步行街主干方式https://bbs.hupu.com/topic-dailyOpenAI的下一代模型Astra刚刚在数学界投下震撼弹：一口气攻克10个悬停至少十年的数学困难，成本仅2000美元，其新其中单个成果就被认为是大模的数“菲尔兹奖级别”；同一天，刚拿到菲尔兹奖的菲尔方式不过尖数学家Jacob Tsimerman宣布加入OpenAI，并预言“两年内AI将在所有数学说明上超越人类”。况步Astra 的虎扑一个内部版本，OpenAI 下一代模型系列，社区处理了数学、炸裂兹奖主干量子复杂性和理比如方式算机科学中的宣称型处学状行街 10 个题开放状况。1. 高维球堆积（High-dimensional sphere packing）准确选定了 Cohn–Elkies 线性规划的其新渐近强度，改进了高维空间中的大模的数常见堆积界，并渐近处理了对应的菲尔方式 Fourier 符号不选定性状况。2. 二元码与球面码（Binary and 况步spherical codes）对固定距离的二元码和球面码，经典上界在所有参数下都改进了指数因子；球面构造还恢复了球堆积指数。虎扑3. 非 sofic 群（Non-sofic groups）构造了一个显式的非 sofic 群，处理了“每个可数群是否都有有限置换近似”的状况（采取 property-(T) 扩张器和二元 Leavitt 代数）。4. Connes 刚性猜想（Connes’s rigidity conjecture）构造了无限多个两两不一样构的 property-(T) 群，它们具有相同的群 von Neumann 代数，从而证伪了 Connes 猜想，并回答了相关有限对一状况。5. 算术电路复杂性（Arithmetic circuit complexity）对 permanent 函数，给出新的电路下界：无除法电路需 Ω(n² log log n) 个门，公式需 Ω(n⁴ / log n) 个叶子。6. 量子并行重复（Quantum parallel repetition）说明了每个有限双人纠缠博弈都具有指数级并行重复性质，将经典重复原理扩展到之前未覆盖的量子博弈类。7. 最近向量状况（Closest vector problem）从 3SAT 直接归约，给出欧几里得最近向量状况的 n^{ 1/400}-因子硬度，并带来二元解码和其他格范数的相关后果。8. Ehrhart 体积猜想（Ehrhart’s volume conjecture）说明了：对于重点是唯一内格点的凸体，在所有维度上都成立尖锐上界 (n+1)^n / n!。9. 多色 Ramsey 数（Multicolor Ramsey numbers）给出超指数下界，说明 R_k(3) = k^{ Θ(k)}。10. 紧性与退化性（Compactness and degeneracy）用两个独立的二部图构造，分别证伪了极值图比如中的两个猜想：Erdős–Simonovits 的紧性猜想，以及 Erdős 的一个退化性猜想。这些结荚由 Astra 生成说明草稿，再经人类协助整理并以 Lean 形式化验明正身。‌总成本不到 2000 美元‌，平均每方式题约 200 美元，相当于一名探究生一个周末的津贴 。多位不过尖数学家如 Alex Kontorovich、Thomas Bloom、Timothy Gowers 等对此表示震惊或高度认可，称其为"AI 数学的里程碑” 。OpenAI 表示，这些成果只是评估未发布模型时的“副产品”，未来可能攻克黎曼猜想等千禧年大奖困难。OpenAI的下一代模型Astra刚刚在数学界投下震撼弹：一口气攻克10个悬停至少十年的数学困难，成本仅2000美元，其中单个成果就被认为是“菲尔兹奖级别”；同一天，刚拿到菲尔兹奖的不过尖数学家Jacob Tsimerman宣布加入OpenAI，并预言“两年内AI将在所有数学说明上超越人类”。Astra 的一个内部版本，OpenAI 下一代模型系列，处理了数学、量子复杂性和理比如方式算机科学中的 10 个题开放状况。1. 高维球堆积（High-dimensional sphere packing）准确选定了 Cohn–Elkies 线性规划的渐近强度，改进了高维空间中的常见堆积界，并渐近处理了对应的 Fourier 符号不选定性状况。2. 二元码与球面码（Binary and spherical codes）对固定距离的二元码和球面码，经典上界在所有参数下都改进了指数因子；球面构造还恢复了球堆积指数。3. 非 sofic 群（Non-sofic groups）构造了一个显式的非 sofic 群，处理了“每个可数群是否都有有限置换近似”的状况（采取 property-(T) 扩张器和二元 Leavitt 代数）。4. Connes 刚性猜想（Connes’s rigidity conjecture）构造了无限多个两两不一样构的 property-(T) 群，它们具有相同的群 von Neumann 代数，从而证伪了 Connes 猜想，并回答了相关有限对一状况。5. 算术电路复杂性（Arithmetic circuit complexity）对 permanent 函数，给出新的电路下界：无除法电路需 Ω(n² log log n) 个门，公式需 Ω(n⁴ / log n) 个叶子。6. 量子并行重复（Quantum parallel repetition）说明了每个有限双人纠缠博弈都具有指数级并行重复性质，将经典重复原理扩展到之前未覆盖的量子博弈类。7. 最近向量状况（Closest vector problem）从 3SAT 直接归约，给出欧几里得最近向量状况的 n^{ 1/400}-因子硬度，并带来二元解码和其他格范数的相关后果。8. Ehrhart 体积猜想（Ehrhart’s volume conjecture）说明了：对于重点是唯一内格点的凸体，在所有维度上都成立尖锐上界 (n+1)^n / n!。9. 多色 Ramsey 数（Multicolor Ramsey numbers）给出超指数下界，说明 R_k(3) = k^{ Θ(k)}。10. 紧性与退化性（Compactness and degeneracy）用两个独立的二部图构造，分别证伪了极值图比如中的两个猜想：Erdős–Simonovits 的紧性猜想，以及 Erdős 的一个退化性猜想。这些结荚由 Astra 生成说明草稿，再经人类协助整理并以 Lean 形式化验明正身。‌总成本不到 2000 美元‌，平均每方式题约 200 美元，相当于一名探究生一个周末的津贴 。多位不过尖数学家如 Alex Kontorovich、Thomas Bloom、Timothy Gowers 等对此表示震惊或高度认可，称其为"AI 数学的里程碑” 。OpenAI 表示，这些成果只是评估未发布模型时的“副产品”，未来可能攻克黎曼猜想等千禧年大奖困难。