A mathematician's experience proving a new theorem with AI (twitter.com) 5 points by hackinthebochs 1y ago ↗ HN
1 comment
[ 3.7 ms ] story [ 13.4 ms ] thread