2026 年 10 月 12 日 · 星期一SI · 每日要闻每天 08:00 出刊
SI 日报 · 2026 年 10 月 12 日 · 星期一
SIHOT
第 17 期122026 年 10 月星期一
十月本月 10 期
一二三四五六日
3件大事3个来源0件一手发布约 2 分钟读完
头条
OpenAI放出数学手稿声称证明四维挂谷猜想
OpenAI于10月7日公开722篇数学手稿，其中两篇声称证明三维挂谷极大函数猜想和四维挂谷猜想，将王虹与Zahl的方向推至四维。两篇手稿共272页、作者栏仅署OpenAI，四维论文用二次多项式方法证到Hausdorff维数4。陶哲轩牵头数学界联合抵制，指审稿瓶颈与选题归属混乱已冲击传统研究节奏。
行业动态
IT之家报告称 Claude 半年封杀 1140 万个账号，申诉后仅 4.2 万翻案
Anthropic 报告显示 Claude 2026 年上半年封禁 1140 万账号，39.8 万申诉中仅 4.2 万翻案。平台同时更新使用政策并将于 11 月加入更多限制，反映重度依赖其工作流的用户面临资产归零风险。
技巧与观点
Hacker News · AI 热帖
500B Tokens 之后：让 AI 智能体反编译一款第一人称射击游戏
耗费 500B Tokens 后，作者 davikr 驱动 AI 智能体反编译了一款第一人称射击游戏，最终实现 99% 函数重建与 83% 字节精确匹配。项目初期因缺乏客观验收标准导致代码语义错误，后期引入字节匹配验证脚本提供 PASS/FAIL 信号，使廉价模型也能可靠完成任务并大幅降低成本。这是作者过去 3 个月编排自主智能体并优化基础设施的复盘，强调机器可查的正确性标准比生产力更重要。