意义不大了，有人（计算机）已经证明出来了，再证相当于化简，类似于，以后只会记得张把孪生数猜想的无穷变成有限值，只有变成2的那时候，老张才会被替代，然后忘掉
【 在 gtgtjing 的大作中提到: 】
: 比如四色猜想，如果给出一个手写证明，算原始创新还是重复造轮子呢
--
FROM 171.83.116.*