陶哲轩：AI 已将科学想法生成的成本降至接近零

3 月 23 日消息，据外媒 THE DECODER 报道，知名数学家陶哲轩公开表示，AI 技术已将科学想法生成的成本降至接近零，并使得理论验证与评估成为当前数学研究的新瓶颈。

报道指出，陶哲轩将 AI 对数学界的影响比作汽车对城市发展的冲击。

其认为，现有的学术期刊与会议等基础设施是为人类建立的，人类寻找证明的过程虽然较慢，但能产生积累专业知识、探索新方向等有价值的副产品。

相比之下，AI 辅助证明虽能高效地从假设推导至结果，却缺失了传统期刊所需的证明路径与逻辑叙事。

陶哲轩在强调，AI 驱动下生成科学假设的成本已趋近于零，这与互联网大幅降低通信成本的轨迹相似。

他明确表示，这导致科学研究的瓶颈发生实质性转移：由于现在面对单一科学问题即可瞬间生成数以千计的理论，学术界当前的核心挑战已从「提出理论」转向「验证与评估海量理论」。

针对这一技术演进带来的结构性矛盾，陶哲轩认为学术界不应该将 AI 强行塞入现有的学术评价体系，而是转向构建面向机器的全新数学基础设施。