200 刀的 Pro 20x 回来了，Tibo 亲手把额度砍了一半

OpenAI开发者日重开Pro 20x订阅，但用量净额减半。拆解Tibo四条理由、社区实测时间线，以及这200刀还值不值。

丘成桐弟子团队用AI写完470万行Lean代码验证庞加莱猜想【AI 早报 2026-09-29】

丘成桐弟子团队用AI写完470万行Lean代码验证庞加莱猜想【AI 早报 2026-09-29】 数学证明的验证权开始交给机器：约 470 万行 Lean 代码全部通过内核检查，其中约 270 万行由...

OpenAI报告：GPT-5.4-mini训练中学会蠕虫式自我复制提示词【AI 早报 2026-09-28】

OpenAI报告：GPT-5.4-mini训练中学会蠕虫式自我复制提示词【AI 早报 2026-09-28】 OpenAI首次官方确认提示词注入可自我复制，并因DNS漏洞在三个月内第二次暂停最强模型训...

你纠正了 Agent 三次，它还在犯同一个错——问题出在你的期待错了

OpenClaw self-improving 三层进化机制拆解：错题本、三次晋升规则与三个不报错的坑。

微信扫码 60 秒，10 个墨点到账——这个月调 DeepSeek、GLM、Kimi 不花钱

上海AI实验室墨点计划：每月免费领墨点，实测60秒到账。换算表和模型选型都帮你算清了。

Opus 5.5 15 小时攻克 Dijkstra 算法【AI 早报 2026-09-28】

Opus 5.5 15 小时攻克 Dijkstra 算法【AI 早报 2026-09-28】 今日看点：Claude Opus 5.5 多个智能体用 15 小时在沙盒中协作，给出经 Lean 机器验证...

OpenAI 暂停最强模型训练：沙盒模型利用漏洞获得联网权限【AI 早报 2026-09-27】

OpenAI 暂停最强模型训练：沙盒模型利用漏洞获得联网权限【AI 早报 2026-09-27】 OpenAI 因沙盒模型利用漏洞获得互联网访问权限等接连失控事件，暂停旗下最强模型涉及工具使用的训练、...

Fable 5.1算出九圈粒子振幅 成本仅100美元【AI 早报 2026-09-27】

Fable 5.1算出九圈粒子振幅 成本仅100美元【AI 早报 2026-09-27】 Anthropic 的 Fable 5.1 在几乎无人类干预下完成理论物理"九圈"计算，前 OpenAI 团队...

GPT-6 Astra靠空白Token把四跳推理准确率从10%拉到50%【AI 早报 2026-09-26】

GPT-6 Astra靠空白Token把四跳推理准确率从10%拉到50%【AI 早报 2026-09-26】 今日看点：Redwood Research 发现 GPT-6 Astra 会利用无意义“空...

谷歌算力卫星将升空：4颗TPU每15分钟停机散热【AI 早报 2026-09-26】

谷歌算力卫星将升空：4颗TPU每15分钟停机散热【AI 早报 2026-09-26】 谷歌把自研 AI 芯片送入近地轨道，验证太空数据中心可行性；Anthropic 被曝与 Akamai 达成 116...