量子位 ·

数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”

💡 原文中文，约2000字，阅读约需5分钟。

📝

内容提要

第二天，就有一篇人类论文回应：AI提出的反例不成立

🏷️

关于Microsoft Windows一波更新推送让我大晚上被迫加班的这档事
先说结论：近期的win11 25h2的质量更新不建议立即更新；补丁编号见下图，虽然更新不一定炸，但确实很多人出现了随机的故障问题
Codex API 中转站价格与倍率汇总：Plus、Pro 与月卡
本文持续整理 Codex GPT API 中转站的 Plus、Pro 与月卡价格，结合充值比例和消耗倍率计算实际成本，并介绍通用的 Codex API Key 配置方法。
Claude Code Tools 研究系列（三）—— ExitPlanMode：把方案提交给用户批准
ExitPlanMode 的设计拆解：规划模式如何安全地回到执行模式。
AI 浏览器已死，享年约 1 岁
它出现得很快，退潮得也很快。#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
Ramag v0.0.2 发布：新增 SSH、SFTP 与 JumpServer 导入
Ramag 是一个使用 Rust + GPUI 构建的本地优先开发者桌面工作台，将数据库、Git、SSH 和剪贴板放进同一个原生应用。数据库 ↔ Git...
Ramag v0.0.2 发布：新增 SSH、SFTP 与 JumpServer 导入
Ramag 是一个使用 Rust + GPUI 构建的本地优先开发者桌面工作台，将数据库、Git、SSH 和剪贴板放进同一个原生应用。数据库 ↔ Git...