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. #Theorem https://t.co/mZXUeg4lho — PolitiTweet.org
Created
Wed Jul 07 14:37:25 +0000 2021
Likes
7
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. #Theorem https://t.co/mZXUeg4lho — PolitiTweet.org