搜索
就在刚刚，GPT-6 Astra 毫无预警地全量上线。GPT-6 Astra 已经正式面向 ChatGPT Work 以及 Codex 的 Pro、Enterprise 和 Business Premium 用户同步开放，API 接口也已经全部就绪。
Anthropic声称其模型Claude在11天内完成了费马大定理的完整形式化证明，写下约1300万行Lean代码，人类仅提供少量高层指导，其中30300个定理获得机器可验证证明，标志着大规模自动形式化首次接近工程化落地。
荷兰AI初创公司Wonderful完成5.5亿美元C轮融资，估值达50亿美元，其打造的AI操作系统AI OS可统一管理企业跨模型、跨部署方式的AI工作流，目前团队已扩展至650人并覆盖35个市场。
AI智能体基础设施公司以太之心（AetherHeart）凭借Aeloon智能体与AetherStation边缘一体机产品，近日完成由上海天使会、浦东创投、高信资本及天使清芬参投的数千万种子轮融资。
微信开始内测小微AI社交功能，允许两个用户的小微建立独立会话并直接完成沟通，人仅在需要授权和做决定时介入，同时微信为此类AI间对话设置了独立入口。
Grok Bot企业版上线，Grok和Cursor企业用户可免费使用两周，新增权限绑定、网络控制和审计日志等安全功能，并支持多智能体云端协同办公与模板共享。
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
Talespark由成镭与Rolan共同创办，已完成XVC领投的数千万元天使轮，其核心系统World Director作为AI Agent重新组织游戏核心逻辑，使世界能根据玩家经历持续回应，首款PC端RPG《Project S》计划2028年年初上线Steam。
空间智能企业映界科技MirrorSpace完成超千万元种子+轮融资，海愿资本领投，奇绩创坛、松禾资本持续加注，资金重点用于感知硬件商业化交付与时空世界模型训练。
艾斐智药成立一个多月便完成亿元天使轮融资，由襄禾资本领投、星连资本等跟投，并依托DrugCLIP、PharmAgents探索AI原生药物研发及共同开发模式。