Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized (github.com) 1 points by unexpectedtrap 1d ago ↗ HN
0 comments
[ 1.9 ms ] story [ 4.4 ms ] threadNo comments yet.