AI不会让数学家过时

要点

• AI生成的证明可能包含微妙错误，需要人类数学家检查和验证。
• 实验科学可以容忍错误，但数学中正确性是不可或缺的。
• 像LEAN这样的工具仍然需要数学家编写代码并评估输出。
• AI程序昂贵且专有，解决复杂问题需要大量人力和计算资源。