OpenAI 官宣“下一代重大模型”Astra，一口气解出十道此前未解的数学题。
OpenAI 通过发布一篇数学报告，首次正式确认下一代模型家族名为“Astra”，并宣称其内部版本解出了十个十年未破的数学难题。这不仅是一次技术展示，也意味着 AI 在长时间、多代理协作任务上迈出了具体一步。
标签： OpenAI
这位OpenAI产品经理总让ChatGPT‘惊艳’自己。以下是他关于AI提示词的建议。
OpenAI产品经理Ty Geri公开了他与ChatGPT协作的日常方式，包括让模型“惊艳”自己和用语音口述整理思路。他同时给出一个反直觉的判断：好的模型本就不该依赖用户的提示词技巧，这类“咒语”总有一天会过时。
cool use case of chatgpt work i heard last night: connect your family calendars and explain your kids’ interests. every morning for the drive to school, have it make a podcast that talks about one kid’s soccer game th…
OpenAI CEO Sam Altman分享了一个将ChatGPT用于生成家庭定制播客的使用案例——连接家庭日历、分析孩子兴趣，每天早上为送学车程生成个性化音频内容。但其评论区的高赞回复——“为什么不直接和孩子聊天”——揭示了这个案例真正值得讨论的问题。
AI Gateway gives companies the critical infra to make AI a productive investment: 🆕 Budgets per key/team/project ◾ Failover for maximum uptime ◾ Model and provider choice ◾ Realtime observability If you’re still in a…
Vercel 为 AI Gateway 新增了按团队、项目、API Key 维度的支出预算与告警功能，试图解决企业 AI 应用落地中最棘手的成本失控问题，而不再只是鼓励开发者“多跑 token”。
pretty cool to have the kicker in this @WSJ piece on OpenAI vs Anthropic! i stand behind this…has been pretty clear since early spring that the momentum is shifting to @openai it’s a fascinating comeback story https:/…
2026年8月1日，AI行业观察者Dan Shipper在X上公开支持《华尔街日报》关于OpenAI与Anthropic竞争格局的报道，并明确判断：自早春以来，势头已转向OpenAI，这是一次“迷人的回归”。这一表态把两家头部实验室的竞争从“哪家模型更强”拉回“谁先融入日常工作流”。
据报道，OpenAI 正在构建 Astra，这是一个旨在处理问题数小时或数天的模型系列。
OpenAI 正在开发代号 Astra 的新模型系列，专门面向需要连续工作数小时甚至数天的复杂任务。它已在测试中解决了 10 个搁置十年的数学难题，并将成为首个接受美国联邦政府上线前审查的 OpenAI 模型。
ChatGPT 工作计数 https://t.co/XlnkkYvx1s
OpenAI生态从业者Tibo在X平台吐槽GMail右上角按钮越来越多，并以“ChatGPT Work counted”为题，借机对比AI原生工具与传统办公软件的体验差异。这条帖文获得超32万次浏览，折射出AI工具向工作场景渗透时的真实用户感受。
Google向用户提供了生成虚假卫星图像的最简单工具，两天后便下架。
Google 将最新图像生成模型 Nano Banana 2 接入 Google Earth，让用户可以用一句提示词生成以真实卫星图像为底板的定制场景，但由于假卫星图像内容迅速传播，功能上线两天就被紧急下架。
OpenAI Astra 以约2000美元证明10项数学难题
OpenAI 在 2026 年 8 月 1 日公布，其下一代模型 Astra 的内部版本以约 2000 美元的推理成本，证明了数学和理论计算机科学领域的 10 项重要难题。这件事之所以值得关注，不是因为它“会做数学题”，而是因为它展示了大模型在长链条逻辑推理上的实际可用性，以及推理成本正在快速下降。
数学与理论计算机科学的十大进展
OpenAI 宣布其下一代模型 Astra 在数学与理论计算机科学领域取得了十项突破性结果，涉及球堆积、编码理论、群论等经典难题，成本仅为约 2000 美元的 API 推理费用。这是 AI 从“解题助手”走向“独立研究者”的一次集中展示，或将改变数学研究的协作方式和验证标准。