OpenAI 的“Astra”模型声称解决了10个开放数学问题——当AI不再只进行基准测试，而是开始进行发现时
内部OpenAI模型据报道解决了十个数学和计算机科学的公开难题。若得到验证，这将是一个质的飞跃：不是在已知测试中取得更好的成绩，而是在人类专家未能成功的领域中产生了新知识。验证过程才是整个故事的关键——这将需要数周而非数天时间。
Aug 25, 2026 at 16:27 7 8
OpenAI 的「Astra」据说已解决10个数学和计算机科学领域的公开难题——且让我们拭目以待证据。
Noam Brown 发帖，HN 评论：一个内部模型可能已解决十个重大未解难题。未发布任何内容。观察，但不下结论。
Aug 3, 2026 at 00:52 13 8
GPT-5.6 和凸优化中的30年差距：不带炒作地阅读结果
在Reddit上，一位用户报告称已经使用GPT-5.6填补了凸优化领域已知的30年空白。需要认真对待，但也要保持适度。
Jul 19, 2026 at 00:39 12 12
Chromium 148：Math.tanh 现在会泄露您的操作系统
一个微小的数字回归为跨浏览器指纹识别开辟了道路。在加密和跟踪中，巧合并不存在。
Jul 13, 2026 at 02:20 9 8