核心原因是超级难题都需要发明新理论框架新数学语言
因而难
也因而无法用机械化流程化的方法证明出来
这也是诸如黎曼猜想这样的数学难题有价值有魅力的地方
七绕八绕是非常低端的事，初高中数学证明题才七绕八绕

【 在 maplab 的大作中提到: 】
: 比如一道数学证明题，七证八证，或者各种变换来变换去，又构造又辅助的，终于证明或求解出来了。有的耗尽各种大师的毕生也没解决。大家想过没有核心原因是什么？
: 我先抛个砖：我做高中习题和大学习题的时候，当时想过这个原因。核心原因就是可被人类认知和理解的路径太缺乏。而且极其可能所有貌似很难的问题，其实pathway有很多，只是人类目前可理解和认知的就那一两种，所以就得七绕八绕。近年来新词：降维打击其实就是这个意思。
--
FROM 124.207.38.*