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