OpenAI 的 AI 生成数学证明引争议：机器给出的解专家也难以验证

OpenAI 的 AI 生成数学证明能力引发争议：AI 已能攻克极难数学问题，但机器给出的解复杂到连专家都难以理解或验证。讨论由此延伸到数学未来、科学发现与人类智能，科学可靠性和人类角色如何定位成为核心问题。相关视频围绕这一“新黑暗时代”的可能性展开讨论。