MIT Technology Review @techreview
An attempt at tackling this notoriously unwieldy math problem is a “noble failure” demonstrating the promise of automated reasoning techniques by computers. https://t.co/NeRyyZnDkm — PolitiTweet.org
Created
Fri Jul 16 22:49:56 +0000 2021
Likes
12
Retweets
3
Source
Echobox
View Raw Data
JSON DataView on Twitter
Likely Available
MIT Technology Review @techreview
An attempt at tackling this notoriously unwieldy math problem is a “noble failure” demonstrating the promise of automated reasoning techniques by computers. https://t.co/NeRyyZnDkm — PolitiTweet.org