研究者争论：AI 辅助数学研究是在加速还是扼杀洞见

mboehme 在 Anthropic/TheoremLabs 相关的 AI 辅助数学研究讨论中提出，AI 既可能减少从失败中学习的机会，也可能加速原型验证并帮助研究者建立问题直觉。HerrDreyer 质疑，部分研究者连自己都未理解的 AI 生成证明虽有应用价值，研究本身仍属空洞；他也认可 AI 正帮助另一部分研究者更快形成洞见。