数学家建站 MathHelm 众评 OpenAI 模型生成的 722 篇数学论文
fortnow · x · 2026-10-23
由北大袁新意等数学家组成的科学委员会发起非营利论坛 MathHelm,专门讨论 OpenAI 于 2026 年 10 月 6 日发布、由其内部 GPT 模型生成的 722 篇数学论文。
背景与动机:
- 这批论文覆盖数学大部分领域,宣称多项重要成果,但正确性尚未验证,且大部分未经 Lean 形式化。
- 社媒上数学家们零散发表的评价(方法惊人、含错误、基于前人工作、涉嫌抄袭人类思想等)很有价值但难以汇集。
平台机制:全球数学家以真名注册后可发表论文评论,内容涵盖正确性、可读性、原创性、主要结果与核心思想,要求客观并尽量附引用,也可上传 PDF、发起其他 AI 生成论文的相关讨论。
「漫话AGI」频道最新
- Ben Goertzel 评盖茨 AGI 观点:过渡期 20 年太保守 — bengoertzel · 2026-10-24
- Owain Evans:把模糊直觉变成清晰概念极难,AI 内省同样如此 — OwainEvans_UK · 2026-10-24
- IEEE Spectrum 深度探讨 AI 模型福祉:把 AI 当有意识对待会不会更危险? — mmitchell_ai · 2026-10-24
- 前 Roblox 产品负责人:多数上进者没意识到时间终比金钱贵 — petergyang · 2026-10-24
- AI Now 研究所放出 AI 与劳工议题论坛全程视频 — AINowInstitute · 2026-10-24
- 创始人称 AI 裁掉 2000 名呼叫中心员工,大 V 质疑是融资话术 — matt_slotnick · 2026-10-24