Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean (twitter.com) 3 points by asparagui 19d ago ↗ HN
0 comments
[ 2.9 ms ] story [ 9.7 ms ] threadNo comments yet.