刚刚，GPT-6 突然全量上线，额度重置再+1，全网实测效果太离谱（在新窗口打开）
就在刚刚，GPT-6 Astra 毫无预警地全量上线。GPT-6 Astra 已经正式面向 ChatGPT Work 以及 Codex 的 Pro、Enterprise 和 Business Premium 用户同步开放，API 接口也已经全部就绪。
内容栏目
AI资讯
聚合人工智能领域的重要资讯、产品发布、行业动态与商业变化。
即使没有上帝，也要造出一个来（在新窗口打开）
Talespark由成镭与Rolan共同创办，已完成XVC领投的数千万元天使轮，其核心系统World Director作为AI Agent重新组织游戏核心逻辑，使世界能根据玩家经历持续回应，首款PC端RPG《Project S》计划2028年年初上线Steam。
GPT-6突破「素数间隔」纪录！这次是加入OpenAI的北大数院07级校友（在新窗口打开）
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
Grok Bot老板“特供”版本上线，马斯克：免费！（在新窗口打开）
Grok Bot企业版上线，Grok和Cursor企业用户可免费使用两周，新增权限绑定、网络控制和审计日志等安全功能，并支持多智能体云端协同办公与模板共享。
独家：微信开始内测小微AI 社交功能（在新窗口打开）
微信开始内测小微AI社交功能，允许两个用户的小微建立独立会话并直接完成沟通，人仅在需要授权和做决定时介入，同时微信为此类AI间对话设置了独立入口。
以太之心完成数千万种子轮融资，张雪机车的天使投资人参投（在新窗口打开）
AI智能体基础设施公司以太之心（AetherHeart）凭借Aeloon智能体与AetherStation边缘一体机产品，近日完成由上海天使会、浦东创投、高信资本及天使清芬参投的数千万种子轮融资。
刚刚，Claude完成费马大定理首个完整形式化证明（在新窗口打开）
Anthropic声称其模型Claude在11天内完成了费马大定理的完整形式化证明，写下约1300万行Lean代码，人类仅提供少量高层指导，其中30300个定理获得机器可验证证明，标志着大规模自动形式化首次接近工程化落地。
给企业当“AI管家”，以色列AI初创Wonderful完成5.5亿美元C轮融资（在新窗口打开）
荷兰AI初创公司Wonderful完成5.5亿美元C轮融资，估值达50亿美元，其打造的AI操作系统AI OS可统一管理企业跨模型、跨部署方式的AI工作流，目前团队已扩展至650人并覆盖35个市场。
AI Coding 的下一步不是写得更快，而是可验收：蚂蚁数科 Harness 工程实践（在新窗口打开）
蚂蚁数科资深技术专家魏长征在 AICon 大会上分享 Harness 工程实践，指出 AI Coding 的关键不是写得更快要让产出可验收，并在 40 万行 Rust 新项目和 60 万行 C++ 存量项目中分别通过内建 Harness 和先补齐文档与 CI 门禁实现质量闭环，后者缺陷率从 20% 以上降至个位数。
3000万用户、过半是企业，千问办公靠什么拿下B端？（在新窗口打开）
9月4日，千问办公上线满一个月，阿里亮出了一个数字：用户数突破3000万，其中企业用户占比超过一半。单看用户规模，这是一个增长数据；但如果放到整个AI办公市场来看，更值得关注的是：包括阿里在内的大厂，正在推动办公Agent从个人提效工具，转向嵌入企业组织的内部工作流。
AI 时代，「种草」这件事会变成什么样？（在新窗口打开）
极客公园邀请小红书种草产品负责人许晴与悦普集团COO鲍白白对谈，探讨AI时代下品牌如何借助小红书灵犀AI等工具从追流量转向经营用户信任。
速递｜AI数据创企AfterQuery估值达32亿美元，YC史上最快速度独角兽（在新窗口打开）
AI数据创企AfterQuery估值达32亿美元，成为Y Combinator史上从创立到成为独角兽速度最快的企业，此前其A轮估值仅为3亿美元。
何小鹏，打破宇树纪录（在新窗口打开）
小鹏旗下人形机器人业务鹏行完成首轮融资超9亿美元，投后估值超63亿美元，由IDG资本领投、阿里腾讯等参投，刷新中国具身智能行业单轮私募股权融资纪录，打破宇树科技IPO募资纪录，何小鹏亲自挂帅兼任机器人业务CEO。
单人一月烧掉 19 万，硅谷开始倒查员工 AI 账单（在新窗口打开）
微软开始倒查员工AI账单，有员工28天内烧掉2.8万美元（约19万元人民币）token，公司因此推行部门预算、个人支出仪表盘等管控措施，并将默认模型切换为OpenAI的GPT-5.6 Sol。
扎克伯格想让 AI 接管 Meta 真人工作，几个月后他自己叫停了（在新窗口打开）
扎克伯格在Meta内部启动Project OT项目让AI Agent接管员工工作、压缩团队规模，但数月后数据显示代码变更量增长220%、产品功能仅增36%、安全事故增加40%、员工满意度跌至55%，扎克伯格于5月叫停原定11月的第二轮调整，并承认AI Agent发展速度未达预期。
城投开始卖Token了（在新窗口打开）
嘉城集团、济南城投集团等地方国资正建设Token运营中心或Token工厂，以盘活GPU并拓展算力服务，但Token业务能否实现规模化盈利仍待验证。
全生态物理 AI 落地，小米的主场攻防战（在新窗口打开）
小米凭借覆盖芯片（玄戒O3/O100/D100）、大模型（MiMo-V2.5、Xiaomi-Robotics系列）、澎湃OS 4、11.6亿台IoT设备及三大智能工厂的完整链路，成为全球首个实现"人车家全生态"物理AI落地的科技公司，在IFA 2025上展示了从数字世界走向物理世界的生态整合优势。
全球最大私人药企，部署了Owkin的AI科学家（在新窗口打开）
AI制药公司Owkin与勃林格殷格翰达成许可协议，将人工智能科学家K Pro及多模态患者数据用于肿瘤学和免疫学多个适应症的药物发现，K Pro已将Owkin内部药物靶点识别速度提升70%。
速递｜AI云计算提供商Crusoe完成超30亿美元融资，估值300亿美元（在新窗口打开）
AI云计算提供商Crusoe完成超30亿美元融资，估值达300亿美元，本轮由Atreides Management与Valor Equity Partners共同领投，Mubadala Capital参投。
4亿种子轮！比尔盖茨领投，Physical Superintelligence（PSI）完成5800万美元种子轮融资（在新窗口打开）
Physical Superintelligence（PSI）完成5800万美元（约3.9亿元人民币）种子轮融资，由比尔盖茨牵头的Breakthrough Energy Ventures领投，旨在打造由AI"虚拟物理学家"组成的物理实验室，核心产品Emmy已落地数据中心优化等场景。
参与交流
查看 AINRK 交流群说明
了解加入交流群的方式，阅读内容无需登录。