AI 实验室常夸大技术能力，数学家仍未退出证明流程

gerardsans 表示，AI 实验室惯于夸大技术能力并包装 AI 驱动的成功，数学家目前仍未被移出证明流程。他认为，数学家尚未真正了解 AI 的局限和相关软件，实际协作流程比新闻通稿更复杂；若缺少数学、AI 和软件知识，读者容易被营销话术误导。