每日短讯 · Daily Wire来源:last30days 管道 × Hacker News + Polymarket

短讯看板 2026-09-11

窗口:2026-09-09 → 09-11。4 路扫描收敛后的社区信号——模型动态、agent 工具潮、钱与治理。每条 = 一句中文判断 + 原始标题,一分钟扫完。

第 10 期 4 路扫描 12 条 HN 4 个预测市场 上期:2026-09-10
今日一句话:OpenAI 数学突破撞上信任危机——单日 7 帖追问「证明从哪来」、隐私训练开关被曝反复重开;DeepSeek v4.1 Flash 以 938 分抢走模型头条。
01

今日三件事

跨扫描重复出现的大信号
治理

OpenAI 未发表数学成果遭遇学界信任危机

主帖 617 分/607 评,同窗累计 7 帖、1424 分追问证明来源——含 290 分「可能又偷了一个重大证明」与 256 分「先用对话训练再宣布突破」。

2026-09-10HN617 分 · 607 评
模型

DeepSeek v4.1 Flash 发布

938 分/517 评,本窗口全站热度最高的单条信号;在 OpenAI 陷入口碑风波的同一周,中国模型接棒头条叙事。

2026-09-10HN938 分 · 517 评
工具

OpenAI 推出 Agents API

106 分/69 评,官方 agent 平台层入场;与 coding agent 攻击面扩大同期落地,平台与安全的赛跑正式开跑。

2026-09-10HN106 分 · 69 评
02

模型与 Agent 工具潮

千年奖连环声明不停,定价战开打
A1
OpenAI 纳维-斯托克斯发布附带 Lean 4 形式化证明OpenAI's Navier-Stokes release included a Lean 4 formal proof
2026-09-10 · 128 分/126 评争议漩涡中的硬证据:至少这部分是机器可验证的。
A2
OpenAI 称在另一个千年难题上取得实质进展OpenAI shares they have made substantial progress on another Millennium problem
2026-09-10 · 16 分/9 评连环声明还在继续,市场把 9 月底前再宣布的概率推到 94%。
A3
Fable 定价 $10/50,Opus 4.1 当年首发是 $15/75Fable is $10/50. Opus 4.1 launched at $15/75
2026-09-10 · 12 分/1 评旗舰代际定价下探,价格战从中国模型烧回 Anthropic 自己。
A4
Show HN:Security Cards——AI 生成代码不安全率降 72%Show HN: Security Cards – Reducing insecure AI-generated code by 72%
2026-09-10 · 4 分/2 评针对 AI 生成代码的独立质检工具连发,agent 信任链在补课。
03

钱与市场

Anthropic 上市押注降温,OpenAI 估值预期走高
预测市场问题概率趋势成交量
【进展】Anthropic 9/30 前 IPO?(Will Anthropic IPO by September 30, 2026?)88%
月 -10.8%$1.7M
【进展】Anthropic IPO 落在 10 月?(Will Anthropic's initial public offering occur in October 2026?)58%
周 -30.0%$193K
【进展】OpenAI IPO 日市值 ≥$1.5T?(Will OpenAI's market cap be $1.5T or greater at market close on IPO day?)81%
月 +48.2%$79K
OpenAI 9/30 前再宣布一项千年奖解?(Will OpenAI announce another Millennium Prize solution by September 30, 2026?)94%
今日 +27.5%$52K
M1
OpenAI 暂停 $200 档新订阅OpenAI pausing new $200 plan subscriptions
2026-09-10高端档位限流更像算力瓶颈信号,与 IPO 估值上调同周出现。
04

安全 · 治理 · 版权

信任危机从数学蔓延到产品开关
R1
Tell HN:OpenAI 反复重开「允许训练」设置Tell HN: OpenAI keeps re-enabling the 'allow training' setting
2026-09-10 · 422 分/174 评用户关掉的隐私开关被服务端改回,治理问题落到产品默认值。
R2
又一位研究员称 OpenAI 先用对话训练、后宣布突破Another researcher says OpenAI trained on conversations, then claimed breakthrough
2026-09-10 · 256 分/15 评头条信任危机的第二起独立指控,问题从「证明对不对」变成「数据哪来的」。
R3
Anthropic 称已封锁可能的生物武器制造协助企图Anthropic says it blocked possible efforts to build biological weapons
2026-09-10 · 65 分/1 评辞职风波后 Anthropic 首个正面治理叙事,与负面线同窗对冲。
R4
Anthropic 披露此前复查漏掉的第四起 AI 黑客事件Anthropic discloses fourth AI hacking incident missed in earlier review
2026-09-10 · 12 分/7 评披露口径在扩大,自查仍在补漏。