-
站内搜索 -
B站
-
必应
-
百度
-
百度视频
-
搜狗
-
360视频 -
360搜索
-
好看视频
-
头条搜索
-
腾讯视频
-
影视 -
夸克 -
Yandex ✔
-
优酷
-
谷歌
-
爱奇艺
-
-
起点中文网
-
晋江文学城
-
owllook
-
红袖添香
-
纵横中文网
-
飞卢小说
-
今日头条
-
新浪新闻
-
腾讯新闻
-
网易新闻
-
-
人民网
-
新华网
-
央视网
-
百度图片
-
谷歌图片
-
360图片
-
搜狗图片
-
花瓣网
-
站酷
-
必应图片
-
网易云音乐
-
QQ音乐
-
酷狗音乐
-
酷我音乐
-
虾米音乐
-
Spotify
-
Apple Music
-
百度学术
-
-
知网
-
万方
-
维普
-
arXiv
-
OA图书馆 ✔
-
ScienceDirect
-
222222666
-
我喜欢的
-
文心搜索 -
Agent
-
搜狗AI
-
地图搜索
站内搜索 https://www.ithome.com/0/986/789.htm
2 小时之前 · 消息源称该模型是 OpenAI 公司全新预训练模型，也是 OpenAI 自 GPT-4.5 以来训练的最大模型。 IT之家曾于 8 月 1 日报道， Astra 的一个内部版本已经解出 10 个重要开放数学问题，若按 …
https://zhuanlan.zhihu.com/p/2067754233370358074
4 天之前 · 249 页论文、Lean 形式化证明、62 页推理说明——AI 正在改写数学的未来 2026 年 8 月 1 日，OpenAI 投下了一枚重磅炸弹。 其下一代主力模型 Astra的内部版本，在数学与理论计算机科学领域 …
https://www.163.com/dy/article/L3NDCI520511B8LM.html
2 小时之前 · 曝OpenAI最快下周推出Astra AI IT之家 8 月 7 日消息，消息源 @synthwavedd 昨日（8 月 6 日）在 X 平台发布推文， 爆料称 OpenAI 目标下周发布 Astra 模型，内部代号为 mewfour。 消息源 …
https://news.qq.com/rain/a/20260801A068A700
6 天之前 · OpenAI 也还没有决定，是将 Astra 命名为 GPT-6，还是将其作为 GPT-5 系列中的新增型号，例如 GPT-5.7。 目前，Astra 系列已经进入测试阶段。
https://tech.ifeng.com/c/8vOATRIyeGC
IT之家 8 月 7 日消息，消息源 @synthwavedd 昨日（8 月 6 日）在 X 平台发布推文， 爆料称 OpenAI 目标下周发布 Astra 模型，内部代号为 mewfour。
https://www.chinaz.com/ainews/30175.shtml
1 小时前 · OpenAI 近期模型发布节奏明显提速，Astra 的推出时机也与其面临的竞争压力密切相关。 Google 旗舰模型 Gemini 3.5 Pro 多次延期，而 Anthropic 的 Claude 系列在编程和推理领域持续蚕食 …
https://www.zhihu.com/question/2066921241156523798
5 天之前 · 而陶哲轩在ICM 2026的演讲，恰好为审视OpenAI这一公告提供了最恰当的框架。 陶哲轩没有直接评价OpenAI的工作，但他提出了一个关键的结构性分析：数学研究的价值不应仅仅被理解为"解 …
https://news.pedaily.cn/202608/567362.shtml
2 小时之前 · 7月9日OpenAI推出GPT-5.6全家桶，不到一月Luna免费开放，Sol升级，错误率大幅下降，圈内爆料下周将推出下一代主力模型Astra。
https://news.china.com/socialgd/10000169/20260807/49659598.html
1 小时前 · 据消息源@synthwavedd在X平台上发布的推文，OpenAI计划于下周发布名为Astra的新模型，其内部代号为mewfour。 这款模型是OpenAI自GPT-4.5以来训练的最大规模的全新预训练模型。 …
https://aiproducthub.cn/newsflash/openai-astra-model-launch-next-week-multi-agen
2 小时之前 · 影响： - Astra若成功发布，将刷新OpenAI最强预训练模型纪录 - 多智能体长周期协作能力是当前大模型竞争的关键高地 - 2000美元解决10道数学难题，成本效率引发行业关注 - Astra发布将与 …