OpenAI前员工刚跑路就喊话：要套现就赶紧套，别等IPO

via cnBeta.COM - 中文业界资讯站 (author: 稿源：量子位)

Telegraph

OpenAI前员工刚跑路就喊话：要套现就赶紧套，别等IPO

能套现就赶紧套现！一位账上压着70万美元OpenAI股权、刚从OpenAI离职的员工，不睡觉也要上网喊话老同事。眼看OpenAI的估值一路走高，他怎么反倒劝人赶紧落袋为安？ 实际上，他本人对AI前沿实验室的估值相当悲观。 在他看来，如今AI前沿实验室的估值已经建立在一个极其乐观的预期之上，如果市场开始重新定价，那么： 翻倍不太可能，可一旦市场回归理性，腰斩倒是很有可能。 巧的是，就在他发推的前一天，美股科技股刚经历了一轮集体回调。 纳斯达克100指数跌入技术性回调区间，Meta单日跌超10%，Google一周累计跌超8%………

OpenAI新模型Astra传闻升温 长时程Agent或成AI资本市场新叙事

via cnBeta.COM - 中文业界资讯站 (author: 稿源：智通财经网)

Telegraph

OpenAI新模型Astra传闻升温 长时程Agent或成AI资本市场新叙事

在GPT-5.6系列模型降价后，OpenAI又传出新一代模型动向。据The Information报道，OpenAI正准备推出一个暂定名为“Astra”的新模型系列，重点提升模型执行长时间任务的能力。报道称，OpenAI CEO Sam Altman近日已在华盛顿向政策制定者和监管机构演示该模型，展示重点包括多个AI Agent在较长时间内协同工作、解决复杂项目和高阶数学问题的能力。 截至目前，OpenAI尚未正式确认Astra名称、发布时间及最终产品归属。外界也在猜测，Astra究竟会被命名为GPT-6．还是作为GPT…

均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本仅 2000 美元

OpenAI 官方今日公布了在数学与理论计算机科学领域的十项进展，这些问题此前一直悬而未决，其核心研究在至少十年（多数情况下甚至更久）的时间里未曾取得任何实质性进展。

据悉，这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。若按 Sol API 的费率计算，寻找这些问题解决方案所需消耗的总词元 (tokens) 成本约为 2000 美元。人类研究员协助撰写了论文手稿，并在 Lean 语言中对这些证明进行了形式化验证，对其正确性负责；然而这些数学论证本身均由 OpenAI 的系统生成。

—— IT之家

via 风向旗参考快讯 - Telegram Channel

中国“代币外交”借联合国峰会向全球南方推广开源 AI

7 月底在日内瓦联合国 AI for Good 峰会上，中国派出大规模政府官员与企业高管代表团，向巴基斯坦、俄罗斯、赞比亚等全球南方国家推介中国开源 AI 模型。阿里云架构师王坚在会上表示，中国 AI 可以像能源一样成为其他国家的"资源"。美方前沿实验室及特朗普政府官员则明显缺席。

中国正以"代币外交"策略向发展中国家输出 AI 基础设施，以低于美国对手的价格提供开源模型，并承诺培训各国使用。美方对此保持警惕，国务院发言人称此举将导致对中国基础设施和标准的依赖；财政部长贝森特则警告"开源不是对美国知识产权的开放季"。此前美国对 Anthropic 模型的出口管制已促使部分国家寻求技术独立。

Semafor

🌸 在花频道 · 茶馆水群 · 投稿通道

via 科技圈🎗在花频道📮 - Telegram Channel

🤖 OpenAI Astra 在十项长期数学难题上取得突破

OpenAI 宣布其下一代模型 Astra 的内部版本在十个长期未解决的数学与理论计算机科学问题上取得新成果，涵盖高维球体堆积、非索菲克群存在性、Connes 刚性猜想反证、算术电路下界、量子并行重复、最近向量问题硬度及多色 Ramsey 数等。这些问题至少十年未见主要进展，多数更久。模型生成论证的 token 成本约为 2000 美元。

论证由人类与模型协作整理成论文，并在 Lean 中形式化验证。OpenAI 坦承数学论证本身由 AI 生成，人类负责整理与形式化，主张归属应如实反映结果来源。公司希望数学界深入审视这些成果，同时强调在 AI 成为研究协作者的转型期，广泛获取至关重要。

OpenAI

🌸 在花频道 · 茶馆水群 · 投稿通道

via 科技圈🎗在花频道📮 - Telegram Channel