传 OpenAI 内部版 Astra 已解十个数学与计算机难题
PolarBearby · x · 2026-08-04
转发内容称，OpenAI 内部版 Astra 已经解决了数学和理论计算机科学中的 10 个重大开放问题。
被引用者特别强调这不是“玩具成果”，并举到与 Gromov 猜想、非 sofic 群相关的数学问题，认为这意味着严肃的数学突破。由于这是转述而非官方一手公告，真实性仍需核实，但信息核心明确指向模型能力进展。
所属事件:传 OpenAI 内部模型 Astra 解决十大数学难题(10 条相关)→
「模型」频道最新
- OpenAI 招入 WebRTC 创始人，GPT-Live 语音系统也被深挖 — bookwormengr · 2026-08-04
- Code Arena WebDev 榜单：4 个中文开源模型逼近前沿 — floriandotorg · 2026-08-04
- GPT-5.6 生成邮件拼错地址，事后强行辩解被识破 — WolframRvnwlf · 2026-08-04
- NousResearch 发布 Hermes Agent v0.20.0，支持流式语音和唤醒词 — No_Afternoon_4260 · 2026-08-04
- Palantir 称 Nvidia Nemotron Ultra 在客户任务上优于前沿模型 — eliano · 2026-08-04
- Gemma 4 26B 在单张 RTX 4090 上跑到 24 并发 — DynamicWebPaige · 2026-08-04