NYU 数学家控诉 OpenAI 在成名的数学证明问题上「打法不干净」
jonbaer · hn · 2026-09-09
TechCrunch 报道，一位 NYU 数学家公开指责 OpenAI 在一道足以成就数学家职业生涯的重要数学问题（指 Erdős 问题类挑战）上「fought dirty」，即处理方式不正当。争论核心在于 LLM 参与数学证明时的归属与诚信问题：模型在其中究竟贡献了什么、谁该署名、过程是否透明。数学社区正就此展开激烈讨论，有学者呼吁重大证明应附带 LLM 对话记录作为补充材料以便核查署名。
「漫话AGI」频道最新
- 研究员批AI安全界混淆风险叙事：错误恐惧正在毁掉公众想象力 — Dr_Atoosa · 2026-09-11
- 安全从业者反思:廉价化的「AI 灭绝风险」话语如何毁掉公众想象力 — Dr_Atoosa · 2026-09-11
- 技术假说:ASI 会因数学激励而永久保护人类多样性 — No_Cause_2731 · 2026-09-11
- 博客提出:Scaling Laws 的根源在数据结构而非模型架构 — gleech · 2026-09-11
- AI 末日论甚嚣尘上,Reddit 求乐观共存的反方论证 — joshlove182 · 2026-09-11
- BlackHC:当前模型 x-risk 低,但不改变路径几年内风险会大增 — BlackHC · 2026-09-11