Not sure how often you put on your math hat these days @QiaochuYuan, but any thoughts on this?
(Not the question of whether there are mistakes, but the project of building up a database of formal proofs.)https://twitter.com/XenaProject/status/1177254994556411905 …
Replying to @ESRogs
probably good for someone to do this? don’t have strong feelings either way. if i was the dictator of mathematics i would prioritize a reorientation towards applications way over this
12:38 AM - 13 Oct 2019
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.