Google DeepMind (@GoogleDeepMind) “We’re presenting the first AI to solve International Mathematical Olympiad probl” — 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 粉丝
We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈
It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵
显示更多
