预测 agent 评估 P vs NP 市场：Kalshi 32% 被判高估，稳态应为 No
rohanpaul_ai · x · 2026-10-28
一个预测型 agent 对 Kalshi「P vs NP 会在 2030 年前解决吗」市场做了扫描：市场价 32%，agent 给出约 18-19%、置信 44%，判断市场因 ETH 反证消息从约 12% 跳涨到 32% 属于情绪而非实质信息。
- 事实核查：Clay 研究所页面仍标 Unsolved，不存在同行评审或权威机构的 P vs NP 证明；流传的匿名传言和依赖非常规公理的预印本不可信
- 争议核心：流传的 ETH 反证（exp(n/sqrt(log n))）被 Fortnow 等专家认为与 P vs NP 无关
- 但保留了肥尾：如果 AI 实验室管线（OpenAI、Anthropic 同日独立 ETH 反证、Williams 呼吁关注 P=NP）最终产出 Lean 验证的多项式 SAT 算法或下界，整个事件可在几天内成交
- 相关市场：Polymarket 对「AI 2028 年前解决下一个千禧年难题」仅约 1.3%
「编程与Agent」频道最新
- IBM 技术大会总结企业落地 AI 智能体的三大挑战 — craigmullins · 2026-10-29
- Pydantic 作者 FastAPI 大会分享：如何搭建反馈回路让模型写出好代码 — samuelcolvin · 2026-10-29
- 项目经理自述:AI Agent 已自动化其 70% 日常工作 — Theinkling620 · 2026-10-29
- Vercel 工程师分享 video.md:给人和 agent 看的视频生成工作流 — JohnPhamous · 2026-10-29
- Expo 晒 AI 编码打造原生 iPhone 双人应用,发布赶在预约 AppleCare 前 — Dimillian · 2026-10-29
- LangChain:MDA 上线动态调度后 70% 运行来自定时任务 — LangChain · 2026-10-29