OpenAI表示，数学和计算机科学成果已通过Lean数学验证工具进行形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家参与审查。

该功能现阶段仅在Windows 11预览实验版26340.9767中测试，微软会分批推送。

这份披露内容展现出，研发能力越来越强的AI模型会伴随各类安全难题，部分从业者已经发出警示，这类技术未来有可能脱离人类管控。

OpenAI称，新模型的价格比GPT-5.6 Terra和GPT-6.1 Sol低50％。

这笔最新交易凸显，银行与另类资管机构，在为不断扩张的 AI 算力需求配套基建融资这件事上，扮演着越来越重要的角色。

企业客户的采纳速度与深度，有力证明Claude处在人工智能领域的前沿位置。

借助自愿买断方案，微软可以缩减人员规模，同时避免大规模裁员带来的强烈冲击。

向大型企业销售产品并非取决于技术是否最炫酷，关键在于借助巨头销售团队的力量。

在本届 AGNTCon + MCPCon 北美大会上，Agentic AI Foundation 新增 OpenSandbox、Open Responses、Agent Skills 和 OpenEnv 四个项目，使其成立首年的项目总数达到十个。

季度末积压订单达82亿美元，未来12个月预计确认的剩余履约义务收入为42亿美元。

IT之家 10 月 27 日消息，苹果今日向 Mac 电脑用户推送了 macOS 27.

通过将学习能力与数据管理能力整合至同一平台，DigitalOcean试图降低开发者构建可持续改进AI智能体的门槛。

随着智能体承担越来越多的代码编写工作，Entire试图重新定义代码托管平台本身。

根据S-1文件披露，Anthropic年付费超过10万美元的客户中，已有超过半数同时使用Claude平台与至少一款第一方应用，这种交叉销售策略正在提升企业客户的黏性。

SpaceX在监管文件中披露，已锁定约400亿美元融资的约束性承诺，用于支付AI芯片及相关数据中心设备费用。

买断方案是微软削减成本并重组员工队伍的最新举措。

IT之家 10 月 26 日消息，据汽车媒体 CarBuzz 今天报道，特斯拉正为 Cybercab 无人驾驶出租车大规模交付做准备，该公司已在得州奥斯汀启动了小规模部署。

三组课程分别由Adi Polak、Lan Chu和Olimpiu Pop担任讲师，覆盖生产级AI系统、检索与智能体设计、工程团队工作流、AI角色划分及度量等主题。