无理解的真理：引导第四次数学危机的蓝天议程
新兴技术
2025-09-23 v1
摘要
机器生成的证明正站在要达到大规模、人类难以阅读的制品水平。它们预示了我们所称的第四次数学危机。这场危机围绕三个根本性的张力而 crystallizes：信任那些没有人类能检查的证明、理解那些没有人能完全阅读的结果、以及验证那些自身抗拒验证的系统。作为一种最小且原则性的响应，我们提出了人类可理解性（Human Understandability, HU）元公理，要求每个证明至少允许一个投影，其资源受限、收敛被测量，并且对验证者是可接受的。面对这些问题，开辟了一个紧迫的研究议程，并指向可扩展推理、可解释推断以及面向机器规模数学时代的认识可信度等新方向。
引用
@article{arxiv.2509.17290,
title = {Truth Without Comprehension: A BlueSky Agenda for Steering the Fourth Mathematical Crisis},
author = {Runlong Yu and Xiaowei Jia},
journal= {arXiv preprint arXiv:2509.17290},
year = {2025}
}