连续干7小时“不累”，OpenAI最强编程模型GPT-5-Codex来了
智东西9月16日消息，今日凌晨，OpenAI发布新模型GPT-5-Codex，这是其在GPT-5基础上专门为软件工程优化的模型版本，进一步提升了Codex中的智能体编程（Agentic Coding）能力。
ChatGPT攻克26年猜想，千位数学家宣战AI！数学界彻底撕裂了
数学界的天，彻底塌了！统治人类逻辑高地几千年的数学家门，第一次感受到了「灭顶之灾」的寒意。直到目前，全球已有整整1008名数学家重磅联名，加入了一个新成立的组织——「人类数学协会」（AHM）。
又一个新项目完结，我要出海了！
大家好，我是程序员鱼皮。又经过了一段时间的爆肝，我在编程导航的保姆级新项目教程《GitHub 仓库 AI 文档翻译平台》，完结啦！这是一套以 AI 应用开发 为核心的项目教程，基于 Next.
OpenAI把Codex做成「永动机」，内部代码曝光：不强制休眠不停机
刚刚，OpenAI绝密代码泄露，Codex「永动机」曝光了。今天，外媒《连线》WIRED独家爆料，通过审查OpenAI公开的Codex代码库，他们发现——
ChatGPT攻克26年猜想，千位数学家宣战AI，数学界彻底撕裂了
统治人类逻辑高地几千年的数学家门，第一次感受到了「灭顶之灾」的寒意。就在这两天，全球顶尖名校的数学系，直接掀起了一场声势浩大的集体大反抗。
你还敲 Prompt？我已经让 AI 自己写 Prompt
导语过去两年，你跟 AI 编程助手打交道的方式一直没变过：你打一句话，它回一段代码，你看一眼，再打下一句。你是人，卡在循环里。2026 年 6 月，Google 工程师 Addy Osmani 提出一个词叫 Loop Engineering，中文可以叫"循环工程"。
AI 正在毁掉开源：从“协作圣地”到“垃圾洪水”，维护者士气跌至谷底，开始集体掀桌
与此同时，cURL，这个默默支撑着几乎所有互联网服务的命令行工具，刚刚终止了其漏洞悬赏计划。在连续六年、支付 8 万 6 千美元后，cURL 创始人兼首席开发者 Daniel Stenberg 终止了这项计划。
DeepSeek 的 Super-agent 设计，和我们的工程实践
看完 DeepSeek Harness 的 Super-agent 设计，作者把自家一年多的折腾翻了出来:任务分给多个 Worker 并行跑，数据库存会话状态，外部 Watchdog 盯异常，最后落到 Lobe 上真接管了网站维护和选题调研。