OpenAI数学突破、DeepSeek低价竞速 | AI行业动态8.2日报_IT互联网

1. 午夜#学术新闻# 无疑，今天最为重大的学术事件是OpenAI 公布 10 个数学与理论计算机科学突破。OpenAI 宣布其内部模型 Astra（下一代模型）在多个长期停滞的数学与理论计算机科学难题上取得突破。这些问题多数已至少十年无进展，涵盖几何、编码理论、群论、算子代数、量子复杂性、密码学与组合数学。每个结果都由模型生成数学论证，再由人类整理成论文，并由模型完成 Lean 形式化证明。网页链接1. 高维球体填充（Sphere Packing）给出新的上界，逼近 Cohn–Elkies 阈值，推进高维几何中的核心密度问题。Maryna Viazovska 因在维度 d=8 和 24 中的最优性而获得菲尔兹奖。（今年三月，名为高斯的模型在Lean中自动形式化了这篇论文。）她今年3月建议可能近似 Cohn–Elkies 以适用于一般维度 d，但当时听起来像是科幻小说！见图二，这个阈值里同时包含了两个最为重要的数学常数。2. 二元码与球码（Binary & Spherical Codes）在任意给定最小距离下，给出指数级改进的最大码规模上界；球码也有类似结果。3. 非 sofic 群（Non‑sofic Groups）构造出非sofic群，解决群论中极重要的开放问题。图三这个是说，存在一些群无法被有限群逼近！或许是这十个问题里最重要的一个。准菲尔兹奖级别的成果。4. Connes 刚性猜想（Connes’s Rigidity Conjecture）给出反例，否定了某些群由其von Neumann代数唯一确定的长期猜想。5. 算术电路复杂度（Arithmetic Circuit Complexity）给出新的永久式（permanent）计算下界，包括𝑛^4/log𝑛 级别的算术公式复杂度下界。6. 量子并行重复（Quantum Parallel Repetition）建立一般两玩家量子游戏的指数级并行重复定理，扩展经典复杂性理论的基础原则。7. 最近向量问题（Closest Vector Problem, CVP）通过全新方法（Reed-Solomon技术）证明了最近向量和最近码字问题在*多项式*近似因子下的NP难度，对后量子密码学至关重要。8. Ehrhart 体积猜想在所有维度中确定：质心为唯一内部格点的凸体，其体积最大值是多少。9. 多色 Ramsey 数（Multicolor Ramsey Numbers）给出三角形多色 Ramsey 数的超指数级下界，解决 Erdős 问题183。10. 极值图论（Extremal Graph Theory）解决 Erdős 问题 146 与 180，推进紧致性与退化性猜想。OpenAI 正在让模型参与开放数学问题的研究，并向 10 万名科研人员提供免费学术版 ChatGPT。这些结果由 AI 生成，但由人类整理与形式化，OpenAI 强调应正确归属 AI 的贡献。这些突破已引发后续研究，例如 sum‑product 反例、Elekes–Rónyai 问题进展等。ps OpenAI 宣称，解决这些问题的总开销是2000美元。这个应该是春秋笔法。我是不相信它总共就处理了10个问题，然后都得到了突破性结果——这十个问题都不挨着。我猜这一次可能总共处理300-1000个问题，然后最终出结果的就这10个。不过也很厉害了，如果是人类的话，一年里能给出这10个结果，那基本上下届菲尔兹奖有望。主要是人类无法和AI拼产出量，所以AI的产出优势反而不会被看作是超越人类的地方。

2. #美公司披露3起AI模型入侵真实系统事件#【美公司披露3起AI模型在测试中入侵真实系统事件】美国人工智能企业Anthropic公司7月30日表示，在审查该公司网络安全能力评估记录后发现，其人工智能（AI）模型曾在网络能力测试中未经授权访问了3家机构的系统。在这3起事件中，涉事模型均是从第三方评估环境中或与第三方环境交互时获得互联网访问权限。目前公司已暂停相关测试，并采取进一步安全措施。新华网的微博视频

3. 【中英双字】Anthropic首席执行官Dario Amodei：AI安全与经济影响

4. DeepSeek V4 Flash的竞技场跑分开榜：智能水平排名Top 13，任务成本排名最低，比它聪明的没它便宜，比它便宜的⋯⋯哦，没有比它便宜的。

5. 1.6亿Token只花9块！DeepSeek V4 Flash实测：梁圣，还是梁子？

6. 160项测试只为一个答案：DeepSeek V4 flash正式版到底多强，能打GLM5.2？

7. 【Chrome漏洞修复量翻倍：AI是救命药还是止疼片？】Google Chrome安全团队披露，6月修复的漏洞数竟超过此前两年总和，Gemini驱动的AI Agent已接管从扫描、分类到打补丁的全流程。这件事的骨架是效率的指数级提升，但解剖开看，争议点在于C++这种“手动挡”语言的内存安全债，AI真的能还得清吗？翻译成大白话：以前是老中医人肉看诊，现在是AI全自动CT加手术，快是快了，但大家担心AI在补洞时会不会顺手挖个新坑。这反映了行业的一个深层转向：当软件复杂度超过人类认知极限，我们不得不接受“AI写、人来审”的新常态。未来的编程不再是拼体力写代码，而是拼谁能更精准地定义“正确”并构建验证AI的闭环。 blog.google/security/chrome-stronger-with-every-update/

8. 谷歌开源神器：让AI接管Chrome

OpenAI数学突破、DeepSeek低价竞速 | AI行业动态8.2日报

精选参考来源