爆料称 GPT-6 首次推进数学前沿，选在 EQP 证明 30 周年当天
RichardMCNgo · x · 2026-10-11
Richard Ngo 转发一条引人遐想的帖子：1996 年 10 月 10 日，McClune 的自动定理证明器 EQP 证明了所有 Robbins 代数都是布尔代数；帖子称 GPT-6 选择这一时刻首次推进数学前沿，并称今天是 30 周年。该说法未经官方证实，更像暗示性爆料或玩梗，需谨慎看待。
「Fun」频道最新
- 实验室培育钻石价格大跌,「钻石将变得一文不值」 — SumitGup · 2026-10-11
- 创始人苏晨庄讽刺「agent 自动重写技术栈」风潮：啥用没有 — suchenzang · 2026-10-11
- 用户让 Codex 代理血战 Verizon 客服,浏览器自动周旋一小时 — rickasaurus · 2026-10-11
- 用户吐槽 Claude Code 每日重置像轮盘赌，攒的 reset 差点用上 — kevinkern · 2026-10-11
- 推主提议：AI 实验室应给模型留预算，批准用户的好点子 — apples_jimmy · 2026-10-11
- 「Ontology 是明年的流行词」这句话已经说了十年 — marktenenholtz · 2026-10-11