OpenAI攻克十大数学难题 OpenAI发布249页论文，前沿推理模型攻克十大数学难题

1、OpenAI发布249页论文，前沿推理模型攻克十大数学难题

OpenAI于7月31日发布研究合集，其前沿通用推理模型在高等数学与理论计算机科学领域取得十项进展，包括“单发”攻克一个著名开放数学研究问题；公司同步开源GitHub仓库（含Lean形式化证明）及模型自行撰写的论文，估算每题计算成本约2000美元。该模型本周已由Sam Altman向政策制定者演示，或预示其临近发布，引发关于AI原创科研能力的广泛讨论。

2、国家超算互联网上线DeepSeek-V4-Flash正式版API

8月2日，国家超算互联网宣布，DeepSeek-V4-Flash正式版模型已正式上线，同步面向企业和开发者开放API调用服务及模型文件。据介绍，用户无需繁琐的环境配置即可快速接入，为各行业提供高性能、安全可靠且普惠的全场景AI开发支撑

3、微软MDASH系统登顶网安基准，领先第二名超10个百分点

8月2日，微软公布其MDASH系统在CyberGym网络安全基准测试中以95.95%的成绩断层第一，大幅领先GPT-5.5 Cyber（85.6%）、Mythos 5（83.8%）等前沿模型。该系统并非单一前沿大模型，而是采用组合架构，在网络安全防御场景展现出显著优势。

4、扎克伯格主张超级智能应人人可用

8月2日，Meta CEO扎克伯格公开挑战硅谷“越强AI越危险、只能交给少数人”的主流叙事，认为强调危险只会推出“只能交给少数人”的结论。他主张，超级智能应当向所有人开放，而非被头部实验室锁起来只提供给通过资格审核的机构。

5、谷歌Gemini Spark个人AI智能体向全球开放

8月2日，据IT之家报道，谷歌于7月31日宣布将Gemini Spark个人AI智能体向全球大部分地区用户开放，可自动整理收件箱、取消订阅、代搜航班并完成订票，并已与Chrome浏览器整合（暂不含欧洲经济区等地）。Gemini Spark的扩围标志着头部大模型厂商在通用智能体赛道加速落地，从“对话助手”迈向可代为执行多步骤任务的数字员工。