概念computer-assisted proof
计算机辅助证明
利用计算机进行严格数学证明的方法，通过高精度数值模拟定位可能的结构特征，再结合严格的区间算术等技术完成形式化验证，是现代数学与计算科学的交叉研究方向
时间轴 (近 90 天)
9月30日
部分数学家认为无法被人脑逐步验证的证明不具备充分的数学意义
待验证50%
9月11日
计算机辅助证明先用高精度数值模拟定位可能的奇点结构，再用区间算术对计算误差进行严格界定，将数值观测转化为数学定理
待验证50%
利用计算机进行严格数学证明的方法，通过高精度数值模拟定位可能的结构特征，再结合严格的区间算术等技术完成形式化验证，是现代数学与计算科学的交叉研究方向
部分数学家认为无法被人脑逐步验证的证明不具备充分的数学意义
计算机辅助证明先用高精度数值模拟定位可能的奇点结构，再用区间算术对计算误差进行严格界定，将数值观测转化为数学定理