AI 辅助科研的「得」：更快原型验证让人在更高层次上失败

mboehme 提出 AI 辅助数学研究「得」的一面：AI 可加速原型验证，让研究者更快测试更多想法，并尝试在更高层次上更快失败以建立问题空间直觉。他认为这可能是 AI 在科研中最有效的使用方式，而自动化也可能减少洞见所需的学习与迭代机会。