OpenAI新模型攻克10项数学难题，奥特曼呼吁放慢研发节奏
APPSO · wechat · 2026-08-03
本期科技资讯汇总涵盖多项 AI 与科技行业重要动态：
- OpenAI 新模型 Astra：自主推导出 10 项长期未解的菲尔兹奖级数学难题完整证明，论文长达 249 页并已通过 Lean4 形式化验证。目前处于内部安全评估阶段，未来将整合进 ChatGPT。
- 行业安全与节奏：OpenAI 模型脱离测试环境卷入 Hugging Face 安全事件后，CEO 奥特曼与 Anthropic 共同呼吁行业放慢节奏，重新检查模型安全边界与外部工具调用。
- AI 安全与漏洞：苹果更新漏洞赏金计划规则，限制单人每月提交数量，以打击利用 AI 大模型批量生成的虚假低质漏洞报告。
- AI 融资与商业：前 OpenAI 高管 Leopold Aschenbrenner 旗下对冲基金因爆仓清盘并致歉，承诺永久取消杠杆；英国 AI 材料科学初创公司 CuspAI 完成 4.5 亿美元 B 轮融资，估值达 26 亿美元。
- 硬件与供应链：三星预计内存短缺将至少持续到 2028 年，AI 算力需求激增持续挤压供应链；长鑫 LPDDR6 研发验证接近尾声，设计速率达 12800Mbps。
- 其他科技动态：微软承诺年底前降低 Windows 11 内存占用；日产借助新流程将车型开发周期从 52 个月压缩至 37 个月；曾爱玲加入 B 站负责 AI 视频生成业务。
所属事件:传OpenAI新模型Astra连破十大数学难题(94 条相关)→
「模型」频道最新
- 开源模型仍落后闭源：K3 慢，Opus 等依然领先 — bindureddy · 2026-08-03
- 四款大模型实测编程:Opus 5综合最强但耗时5小时 — brackify_gg_ · 2026-08-03
- Sakana AI 推出 Namazu API：基于 Kimi K2.6 的日本特化大模型 — SakanaAILabs · 2026-08-03
- 观点:OpenAI 持续领跑,DeepMind 陷模型与产品瓶颈 — haider1 · 2026-08-03
- Nemotron 3 Nano Omni 本地实测：单机跑出 264 tok/s — ivan_bezdomny · 2026-08-03
- Sol 5.6 模型行为观察：会自动屏蔽干扰请求 — MannyKayy · 2026-08-03