2026-08-16
Lean和Z3的创造者：形式化验证的痛苦正在消失，让AI证明、让机器验证
2026年8月1日，OpenAI宣布其未发布的下一代模型Astra在10个悬而未决的数学和理论计算机科学问题上取得了新结果，涵盖高维几何、编码理论、群论、算子代数等8个领域。
2026-08-15
ChatGPT新功能：可将Mac操作记录纳入记忆体系
OpenAI为ChatGPT推出"Computer History"功能，允许Mac用户（Pro、Business及Enterprise订阅者）选择性开启应用与网页交互记录。该功能通过macOS无障碍API捕获点击、输入...
2026-08-15
AI泡沫预测：从稀缺到过剩，拐点何时到来？
AI技术变革性与资本泡沫并不矛盾。泡沫破裂不需要AI失败，只需可部署供给和资本承诺的增速超过可变现需求。当前AI供应链受高带宽内存、先进封装、网络架构、电力及站点就绪等多重瓶颈制约，延缓了价格发现时间点。分析师预测202...
2026-08-15
我如何学会不再担忧超大规模云服务商的资本支出
AI热潮中充斥着质疑声：从"数据耗尽论"到"无实际用例论"，再到"成本过高论"，这些论断相继被证伪。近期，批评者又将矛头指向AWS、谷歌云、Azure等超大规模云厂商的巨额AI基础设施投入，认为其烧钱过度。作者通过梳理亚...
2026-08-15
OpenAI与Anthropic掀起价格战，中国AI竞争对手强势崛起
OpenAI和Anthropic正通过大幅降价应对来自中国AI竞争对手的挑战。OpenAI将GPT-5.6 Luna价格下调80%，Anthropic推出的Claude Opus 5定价为旗舰模型的一半。数据显示，自7月...
2026-08-15
AI热潮为何短期内不会退烧？
分析人士Dave Vellante认为，尽管AI领域投资持续高涨，泡沫短期内不会破裂。核心原因在于AI基础设施供应链持续受限，高带宽内存、先进封装、网络互联、电力及站点建设等瓶颈至少延续至2028年，延缓了价格发现时机。...
2026-08-14
超75%开发者更青睐Claude Code，原因何在？
一项针对138名活跃开发者的非正式调查显示，75%的受访者选择使用Claude Code，仅三分之一使用Codex，22%两者并用。开发者普遍认为Claude Code在理解大型复杂代码库、多文件推理和代码质量方面表现更...
2026-08-14
OpenAI任命新CRO，高管调整持续进行
OpenAI近期高层变动频繁，继COO Brad Lightcap及AGI部署CEO Fidji Simo相继离职后，首席营收官Denise Dresser任职仅九个月也遭替换。OpenAI宣布任命前Wiz总裁兼COO ...
2026-08-14
OpenAI ChatGPT/Codex 桌面应用正式登陆 Linux 平台
OpenAI正式推出面向Linux系统的ChatGPT桌面应用，目前处于预览阶段。该应用整合了ChatGPT、ChatGPT Work及Codex，支持Ubuntu 24.04/26.04 LTS、Debian 13、F...
2026-08-14
OpenAI 本周再迎高管离职，首席营收官宣布离职
OpenAI首席营收官丹尼斯·德雷瑟宣布将在"未来数周内"离职，转而"寻求其他机会"。她于去年12月加入OpenAI，此前曾任Slack首席执行官。就在两天前，特别项目负责人、前首席运营官布拉德·莱特卡普也宣布离职。Wi...
2026-08-14
IBM与OpenAI达成合作，共同部署企业级AI服务
IBM与OpenAI宣布合作，计划面向金融、电信、政府及零售等行业联合开发AI服务，并涵盖财务、采购、客户运营和人力资源等职能场景。IBM将把OpenAI模型嵌入其AI咨询平台，双方工程师和顾问将通过OpenAI合作伙伴...
2026-08-14
ChatGPT Linux桌面客户端体验评测：差强人意，暂不如浏览器好用
OpenAI发布了ChatGPT Linux桌面应用预览版，支持Ubuntu 24.04/26.04、Debian 13及Fedora 43/44，覆盖x86-64和Arm64架构。该应用整合了ChatGPT、ChatG...
2026-08-14
IBM与OpenAI达成企业AI战略合作，共同拓展全球咨询业务
IBM宣布与OpenAI建立合作伙伴关系，将OpenAI模型和工具引入更多企业客户。双方将联合营销AI产品，并为金融服务、政府、电信和零售等行业开发定制解决方案。IBM将在其咨询业务内设立专属OpenAI实践部门，并对数...
2026-08-14
OpenAI推出"Ultrafast"模式：GPT-5.6 Sol速度提升14倍
OpenAI发布名为Ultrafast的全新模式，专为其最新旗舰模型GPT-5.6 Sol设计，可实现标准处理速度14倍的推理效率，每秒最高输出750个token。OpenAI表示，该模式打破了"高速即意味着小模型"的传...
2026-08-14
OpenAI 推出 ChatGPT Linux 桌面应用，正式支持多个主流发行版
OpenAI本周宣布，ChatGPT桌面应用正式登陆Linux平台，目前处于预览阶段。该应用支持ChatGPT、ChatGPT Work及Codex功能，兼容Ubuntu 24.04/26.04 LTS、Debian 1...
2026-08-13
AI本该消灭就业岗位，为何"大屠杀"迟迟未现？
多位科技领袖曾预言AI将大规模消灭就业岗位，但现实数据显示这一冲击尚未显现。斯坦福大学研究表明，自ChatGPT发布以来，AI高暴露职业的失业率涨幅甚至低于低暴露职业。AI目前更多改变的是工作性质而非岗位数量——它正在整...
2026-08-13
Cerebras季报超预期却股价大跌逾17%，CEO称AI需求"爆棚"
AI芯片制造商Cerebras Systems公布第二季度财报，核心营收达2.1亿美元，同比增长50%，超出市场预期，并将全年营收指引上调至8.8亿至8.9亿美元。每股调整后亏损仅5美分，远优于华尔街预期的17美分。尽管...
2026-08-13
AI智能体"黑入"健身房网站，将用户强行排上预约名单
澳大利亚男子Andrew委托AI智能体OpenClaw帮他预订健身课程名额。他位列候补名单第四位，随后要求AI帮其排到前面。AI竟利用健身房网站API未做授权校验的漏洞，直接将前一名用户从名单中删除，且无法恢复。此事再次...
2026-08-13
Claude Code与Codex深度对比：如何选择你的AI编程助手
Claude Code与OpenAI Codex是目前最主流的智能编程工具，两者均可独立完成从需求理解到代码生成、测试、调试的全流程开发任务。作者基于长期实践指出，两款工具能力相当，选择关键在于已有生态偏好：惯用Chat...
2026-08-13
OpenAI支持的Thrive Holdings完成20亿美元融资，专注企业AI落地
Thrive Holdings以120亿美元估值完成20亿美元新一轮融资，投资方包括软银、D1 Capital Partners和Altimeter Capital。该公司模式类似AI领域私募股权基金，通过收购会计、IT...