本次讨论聚焦于陶哲轩对人工智能驱动的“解题提取”威胁数学研究未来的批判。 **核心观点包括：** * **“过程”的丧失：** 数学家认为问题的价值在于探索过程——即在此过程中所获得的洞见、失败的尝试以及概念间的联系。人工智能生成的证明往往“难以解读”，它们提供了答案，却缺乏推动未来发现的潜在直觉。 * **生态系统风险：** 重要难题是支撑学科发展的“大树”。如果人工智能公司仅为了营销或声望而迅速“砍伐”这些难题，可能会导致数学界失去培养下一代研究人员和发展新数学框架所需的挑战。 * **机构保密性：** 批评者强调了人工智能实验室的掠夺性，它们可能会利用专利数据或监控研究讨论，来“抢先”获取那些即将取得突破的数学家的成果。这促使人们回归到秘密的、行会式的做法，从而逆转了几个世纪以来的开放科学传统。 * **学科的未来：** 一些参与者认为，数学必须演变为“大科学”，从关注个人声望转向大规模、协调一致的努力。另一些人则担心，人工智能的统治地位会导致智力停滞，使人类无法理解自己所依赖的系统。