Google DeepMind (@GoogleDeepMind) “For non-geometry, it uses AlphaProof, which can create proofs in Lean. 🧮 It cou” — TopicDigg
Google DeepMind
@GoogleDeepMind
The engine room of @Google. Building AI safely and responsibly to solve the world’s most complex problems. Join us:
加入 January 2016
279 正在关注 1.4M 粉丝
For non-geometry, it uses AlphaProof, which can create proofs in Lean. 🧮
It couples a pre-trained language model with the AlphaZero reinforcement learning algorithm, which previously taught itself to master games like chess, shogi and Go.
显示更多
