一位理论物理学家质疑 OpenAI 数学证明热潮的研究意义

理论物理学者 Rikab Gambhir 撰文讽刺 OpenAI 今年 10 月集中发布 700 多份数学论文的行为，认为这种由 LLM 概率式生成、难以验证且不追求可读性的产出只是把"判断正确性"的苦活甩给数学社群。