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

2026年10月7日，数学博主 TheSeaMouse 指出，AI 生成的数学证明即将大量涌现，而现有数学家人数远不足以完成审核与消化这些证明的工作，因此数学系需要扩招人手以应对。针对这一人力缺口，Brad Neuberg 提出应用「Jenson's Paradox」的思路：不把 AI 生成的证明当作终点，而是用 AI 去解释、理解这些证明，并由此引导出更优雅的版本。他认为这可能是人类数学家与 AI「半人马式协作」的一种形态——由人类负责品味与严谨性，AI 负责初稿与迭代。目前该讨论仍停留在观点层面，尚无具体机制或落地安排被报道。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。