AI 圈玩梗：用 ChatGPT 找反例来解决数学猜想
charles_irl · x · 2026-07-23
AI 研究者 Ludwig Pettersson 发推调侃，打算取消和妻子的约会，把所有未解决的数学猜想喂给 ChatGPT 来寻找反例。另一位网友借此玩梗，戏称 Erik 以后会有大把时间来研究猜想了（暗示 AI 将取代部分研究工作）。
「Fun」频道最新
- 网友上线「求 AI 别杀我」注册网站,黑色幽默拉满 — motionbynick · 2026-09-11
- 用果蝇大脑连接组造了个 LLM,作者放出在线 demo — ngxson · 2026-09-11
- 梗图:工程师周五下午放出上万个 Claude 子 Agent 清空一周工作量 — _jaydeepkarale · 2026-09-11
- AI safety 圈没阴谋只有真人：一半人把人生故事全发在 LessWrong — ShakeelHashim · 2026-09-11
- 小女孩把同志婚礼着装解读为「princessmaxxing」萌翻路人 — anderssandberg · 2026-09-11
- 「AGI 已来」vs 现实：AI 实验室做的桌面应用依然又糙又卡 — MilesCranmer · 2026-09-11