说明一下，第八题中的“数学研究中的intuition方法”并非限于直觉主义数学。实际上

送交者: scott 于 2020-06-29, 12:36:42:

实际上，第七题是：

Grigori Perelman的Poincaré conjecture论文并非用形式逻辑写成。请问除了形式逻辑，数学证明还需要什么样的本质性思维方法？请尽可能用数学语言完整描述其它所需要的思维方法。

从AlphaGo Zero中的intuition方法的局限性，就可以研究AlphaGo Zero的问题、设计对AlphaGo Zero的证伪实验。