一句话看懂：菲尔兹奖得主邓煜在社交媒体上开玩笑说，如果 AI 能解决所有数学问题，他就退出数学界去写百合小说。一条推文把它包装成”正式宣布”，随后被平台补充说明纠正。
事件核心：发生了什么
据社交平台 X 上的讨论，菲尔兹奖得主邓煜曾发帖调侃：假如 AI 有一天能解掉所有数学问题，他就不再研究数学，转去写百合小说。这条内容被账号 Polymarket 以”突发”口径转发，称其”宣布退出数学界并创作言情小说”。X 的”读者补充背景”随后指出：邓煜本人已澄清这只是玩笑，并非严肃声明；同时 Polymarket 的表述把具体指向百合（女性恋）题材的 yuri 小说笼统说成 romance novel，属于不准确转述。相关讨论在 9 月 11 日前后获得约 21 万次浏览，并被 SCMP 等媒体跟进报道。
为什么重要
这条新闻的看点其实有两层。第一层是技术层面：一位顶级数学家愿意用”AI 能否解决所有数学问题”当玩笑素材，说明大模型在推理、形式化证明和数学发现上的进展，已经进入专业研究者的日常话题。近几年从自动定理证明到用模型辅助猜想验证，数学被视为检验大模型推理能力的高难度试金石。第二层是信息层面：一个玩笑被二次加工成”菲尔兹奖得主宣布退休”，再靠平台补充说明来纠偏，这暴露了当前 AI 资讯传播中标题化、去语境化的老问题。
对用户/开发者/创作者的影响
对普通用户来说，这条消息本身不构成任何产品变化，不必据此判断”AI 已经能取代数学家”。对开发者和研究者，它更像一个提示：数学推理仍是评估模型能力的硬指标，做形式化证明、代码验证、定理辅助工具的方向值得持续投入。对内容创作者和资讯账号，这是一次典型样本——引用名人观点时保留原始语境、区分玩笑与声明，比抢时效更重要，否则容易在转发链条中被放大成假消息。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
目前公开信息显示，此事没有对应的产品或论文发布，后续可观察三点：一是邓煜本人是否进一步回应，把玩笑背后的技术判断讲清楚；二是 Polymarket 一类账号在事实核查机制上是否会调整表述；三是 AI 在数学推理上的实际进展，包括形式化证明基准和自动定理证明工具的能力边界，是否会出现新的可验证里程碑。
来源：@dotey
