数学家人手不足应对 AI 证明浪潮，人机半人马协作或成解法

数学博主 TheSeaMouse 指出，AI 生成的数学证明即将大量涌现，现有数学家人数远不足以审核与消化，数学系需要扩招人手。Brad Neuberg 据此提出「Jenson's Paradox」的用法：不把 AI 证明当终点，而是用 AI 解释、理解这些证明并引导出更优雅的版本，认为这可能是人类数学家与 AI「半人马式协作」的一种形态——人类负责品味与严谨性，AI 负责初稿与迭代。