NYU 数学家控诉 OpenAI 在成名的数学证明问题上「打法不干净」

jonbaer · hn · 2026-09-09

TechCrunch 报道，一位 NYU 数学家公开指责 OpenAI 在一道足以成就数学家职业生涯的重要数学问题（指 Erdős 问题类挑战）上「fought dirty」，即处理方式不正当。争论核心在于 LLM 参与数学证明时的归属与诚信问题：模型在其中究竟贡献了什么、谁该署名、过程是否透明。数学社区正就此展开激烈讨论，有学者呼吁重大证明应附带 LLM 对话记录作为补充材料以便核查署名。