让AI改AI写的证明，这活儿到底有多好玩？

Jay Cummings 干了一件挺反直觉的事：他拿AI写出的数学证明当底稿，再叫AI帮忙逐行修订——然后说自己玩得不亦乐乎。这引出一个问题：当证明从"人写"变成"人审"，数学家到底还站在哪个位置？Cummings 没回避这个张力。他全程录像，展示了自己如何在AI给出的步骤里揪出逻辑跳跃、补上隐含条件、把粗糙推导磨成能经得起同行审视的文本。过程谈不上轻松，更像是一场和工具的拉锯战。我的判断是：这场"协作修订"未必通向什么新定理，但它暴露了一个被低估的事实——AI最值钱的产出，或许不是那些乍看惊艳却经不起推敲的草稿，而是它逼着你重新理解"什么才算证明"的整个过程。

原文：Jay Cummings – I Worked with AI to Revise an AI Proof (and had so much fun) · 来源：Hacker News