奥数证明出自早期讨论,数学家该抗议的是方法而非数据被用

shaurizard · x · 2026-09-10

shaurizard 回应 ctjlewis:他不否认那些「AI 化前沿数学家围绕同一问题拷问」的聊天记录有价值——据他了解,后来那项证明正是建立在这些早期讨论之上。但他质疑「直接训练」的说法:他相信信息确实进入了模型,却怀疑「人们描述的那种方式」;与其如此,不如把同样信息交给 OpenAI 自己的数学家去用。他个人不介意这些策略(数据是自愿给出的),但如果有人认真反对,至少应该抗议正确的方法,而不是笼统反对。「这些人需要被踢一脚」。