概念computer-assisted proof
计算机辅助证明
利用计算机进行严格数学证明的方法，通过高精度数值模拟定位可能的结构特征，再结合严格的区间算术等技术完成形式化验证，是现代数学与计算科学的交叉研究方向
核心事实
时间轴 (近 90 天)
10月22日
该证明本质上是一个计算机辅助证明，针对特定实例，并附带了明确的实现信任边界。
待验证50%
9月30日
部分数学家认为无法被人脑逐步验证的证明不具备充分的数学意义
待验证50%
9月11日
计算机辅助证明先用高精度数值模拟定位可能的奇点结构，再用区间算术对计算误差进行严格界定，将数值观测转化为数学定理
待验证50%
9月11日
四色定理和开普勒猜想的证明都涉及计算机辅助，引发过'人类是否真正理解了这些证明'的哲学讨论
已验证65%