Hacker News · AI· mindcrime·· 5 小时前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 证明的过程与体验。他在借助 AI 调整和完善相关数学证明的过程中获得了诸多乐趣。
来源：Hacker News · AI · youtube.com