01
今日三件事
跨扫描重复出现的大信号02
模型与 Agent 工具潮
数学风波的技术余震 + agent 小工具A1
数学界从 Partition Principle 正面拆解 OpenAI 的数学主张OpenAI, the Partition Principle, and Mathematics
2026-10-08 · 196 分/296 评用集合论基础理论正面回应，是撤稿风波里技术含量最高的一条线。
A2
Jevman：让 AI 决策模型自己打吃豆人Show HN: Jevman – AI decision models play Pac-Man
2026-10-08 · 71 分/23 评拿经典街机当决策能力的验证场。
A3
Robium：给编码 agent 用的物理世界 harnessRobium – Physical AI harness for coding agents
2026-10-09 · 5 分/0 评编码 agent 的 harness 思路开始伸向物理世界。
A4
agentc：不到 1MB、无 libc 的可嵌入式 agent（Rust/C API）agentc: <1mb static/no-libc, minimal, embeddable agent with Rust/C API
2026-10-08 · 3 分/0 评agent 往嵌入式和极端裁剪环境里塞的信号。
03
钱与市场
真金白银的判断，结构市场优先| 预测市场问题 | 概率 | 趋势 | 成交量 |
|---|---|---|---|
| 【进展】Anthropic 10 月上市？（10 月档） | 67% | 月 -57.0% | $140K |
| 【进展】Anthropic IPO 日收盘市值 $2.0–2.25T 档？（最高档） | 30% | 月 +3.9% | $755K |
| 年底最佳 AI 模型？（Anthropic 42 · Google 42 · OpenAI 10） | 42% | 月 -18.0% | $1.1M |
| 【进展】AI 2026 年再解千禧年难题数为 0？ | 78% | 周 +4.5% | $278K |
| 【进展】OpenAI 年底前再宣布一道千禧年奖解？ | 54% | 月 -14.5% | $584K |
| 【进展】年底估值 Anthropic 高于 OpenAI？ | 92% | 月 +1.5% | $35K |
M1
Anthropic 撤回 Startup 项目、收回待发 offerAnthropic pulls Startup program revoking pending offers
2026-10-09上市窗口前收缩支出的又一步。
04
安全 · 治理 · 版权
解雇风波当事方发声 + 数学共同体介入R1
【进展】OpenAI 安全主管 Tomek Korbak：被告知「不再信任我」Tomek Korbak: OpenAI's head of safety told they no longer trust me
2026-10-09 · 44 分/2 评解雇事件的当事方版本浮出水面。
R2
数学组织 AHM 就 OpenAI 10 月 6 日文件发表正式声明AHM Statement on OpenAI's October 6 Release of Mathematical Documents
2026-10-08 · 47 分/43 评撤稿风波升级为数学共同体的组织化回应。
R3
Anthropic 与 OpenAI 沙盘推演 AI 灾难后的公众与政治反弹Anthropic and OpenAI wargaming public and political revolt after AI catastrophe
2026-10-09 · 4 分/0 评两家实验室都在预演「出事之后」的场面。
R4
OpenAI 将在欧盟对 ChatGPT 文本加水印OpenAI will start watermarking ChatGPT's text in the EU
2026-10-09 · 6 分/1 评EU 监管下的生成文本标识动作。