当 LLM 能频繁证明开放数学难题，数学界的“首个证明”荣誉还剩多少意义

Reddit 用户 MathBullied 提出，随着 LLM 能力增强、可能频繁解决开放数学问题，“率先给出正确证明”作为声望与发表标准的意义将下降。这可能促使期刊、会议和整个数学社区更重视证明的优雅性、深度、简洁性、解释力，以及是否引入真正新思想或新思维方式；他认为这种转变是好事。