数学家：LLM 的价值在超长复杂证明，而非灵感论文

一位数学研究者经 Scott Little 转发指出，LLM 在数学中的真正价值在于完成极其复杂、可能超出个人乃至数学家团队能力的超长证明，而非撰写围绕单个洞察的较短论文。当前瓶颈是将很长的 Lean 形式化证明翻译成人类可读的数学论证，训练改进可能缓解这一问题。