Hacker News：AI 热帖· mindcrime·· 11 天前AI 评分26
Jay Cummings：我与 AI 合作修订一份 AI 证明（乐在其中）
Jay Cummings – I Worked with AI to Revise an AI Proof (and had so much fun)
AI 导读
Jay Cummings 发布视频，讲述自己花一周时间与 AI 合作修订一份 AI 生成的数学证明。视频于 Sep 30, 2026 发布，已获得 3,823 次观看；他还预告下一支视频将亲自证明该定理。
来源：Hacker News：AI 热帖 · youtube.com