《Lean me softly》：讽刺AI接管数学的科幻小说

一篇题为《Lean me softly》的讽刺小说在 Hacker News 上流传，描绘 2040 年 ClopenAI 年度数学会议上，教授 Magnus von Prompter 用 17 条提示词和 Lean 证书宣布解决其本周第三个重大猜想，并推翻 7893 维无限制 Vladimir 猜想。 据描述，该文由人类用西班牙语撰写、DeepSeek 编辑、ChatGPT 翻译成英文，以科幻形式讽刺数学研究被 AI 提示词与形式化证书取代的未来图景。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。