送交者: scott 于 2020-06-29, 12:36:42:
回答: 讲完逻辑，再提一下直觉。Demis Hassabis认为AlphaGo Zero的胜利是直觉的胜利 由 scott 于 2020-06-28, 15:55:43:
Grigori Perelman的Poincaré conjecture论文并非用形式逻辑写成。请问除了形式逻辑，数学证明还需要什么样的本质性思维方法？请尽可能用数学语言完整描述其它所需要的思维方法。
从AlphaGo Zero中的intuition方法的局限性，就可以研究AlphaGo Zero的问题、设计对AlphaGo Zero的证伪实验。