先发明工具，然后降维打击
【 在 pageup 的大作中提到: 】
: 核心原因是超级难题都需要发明新理论框架新数学语言
: 因而难
: 也因而无法用机械化流程化的方法证明出来
: ...................
--
FROM 39.144.49.*