DeepMind's latest: An AI for handling mathematical proofs

(arstechnica.com)

3 points | by quapster 6 hours ago

No comments yet.