Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] (raw.githubusercontent.com) 2 points by kbr- 3d ago ↗ HN
3 comments
[ 10.7 ms ] story [ 38.3 ms ] thread