研究人员发现 ， 学习证明定理与学习玩棋盘游戏之间有相似之处 ， 因为它们都提供了自动确定成功的方法 ， 并生成新的数据 。 因此 ， AlphaZero在围棋领域的成功表明 ， 自动定理证明可能是神经网络推理研究的一个富有成效的领域 。
相关讨论及参考：
@raevskymichail/gpt-f-neural-network-theorem-proofs-28caacba5468
【OpenAI推出数学推理证明模型，推理结果首次被数学家接受】文章来源：大数据文摘

• 高通和联发科慌了？谷歌将推出自研手机和电脑芯片
• Intel悄然推出i3-10100F：主打锐龙3、价格便宜不少
• 雷蛇将推出《赛博朋克2077》主题鼠标 售价160美元
• Razer推出首款电竞椅：售价499美元 主打腰椎支撑
• 鞋子潮湿不好干，小米有品推出烘鞋器，有它再也不惧怕脚臭啦
• 雷蛇推出旗下首款电竞椅 Iskur，约 3300 元
• 国产推出运维迷你笔记本，7寸旋转屏，还自带RS-232串口
• 手机霸王NOKIA进军音频一口气推出两款蓝牙耳机，而我选了它
• 英特尔推出新款四核CPU，目标直指Ryzen3 3300X
• 学不好数学连LOGO都看不懂了！不信你试试？