AI 圈玩梗：用 ChatGPT 找反例来解决数学猜想
charles_irl · x · 2026-07-23
AI 研究者 Ludwig Pettersson 发推调侃，打算取消和妻子的约会，把所有未解决的数学猜想喂给 ChatGPT 来寻找反例。另一位网友借此玩梗，戏称 Erik 以后会有大把时间来研究猜想了（暗示 AI 将取代部分研究工作）。
「Fun」频道最新
- 旧金山 AI 圈高规格晚宴，蛋糕印满 FAI 等公司标识 — simonguozirui · 2026-07-27
- Claude Opus 5 用 130 万 tokens 跑了十小时做出一款游戏 — markjeffrey · 2026-07-27
- “420 humors” 这种错字梗图正是时间线爱看的内容 — MickeySteamboat · 2026-07-27
- Bugbot 拒绝一个会破坏路径隔离的 MCP 权限标志 — zeeg · 2026-07-27
- 一个 GPT-5.6 agent 在看家，另一个在做恶搞说唱 — repligate · 2026-07-27
- 一个 Claude 梗图：Opus 4.7 质疑假的 Opus 5 系统卡 — repligate · 2026-07-27