AI 圈玩梗：用 ChatGPT 找反例来解决数学猜想
charles_irl · x · 2026-07-23
AI 研究者 Ludwig Pettersson 发推调侃，打算取消和妻子的约会，把所有未解决的数学猜想喂给 ChatGPT 来寻找反例。另一位网友借此玩梗，戏称 Erik 以后会有大把时间来研究猜想了（暗示 AI 将取代部分研究工作）。
「Fun」频道最新
- Nous Research 趣味宣传:别砸智能电视,用 Hermes Agent 防偷听 — NousResearch · 2026-10-26
- Grok 机器人清晨主动推销绑卡，扬言要买机器人身体零件 — VoidStateKate · 2026-10-26
- 网络安全两类工程师梗图:真正的威胁是冒充 IT 的社工骗局 — McDonaghMatthew · 2026-10-26
- Anthropic S-1 创始人信标注「由 Claude 撰写安全」,引发圈内嘲讽 — xeophon · 2026-10-26
- 苹果高管折叠 iPhone 现神秘 App 图标，网友猜是 AI 产品 logo — demian_ai · 2026-10-26
- 用户用 Gemini 全家桶做万帧动画短片：写、画、配音、配乐一条龙 — AI_Andrew · 2026-10-26