AI 大量证明定理是好事吗？数学家与支持者激辩 OpenAI

围绕 OpenAI 用 AI 大量证明定理，用户 @panickssery 与数学家 David Bessis 展开辩论，Bessis 等认为这可能让数学进展「停滞」。