Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org) 5 points by mathfan 8mo ago ↗ HN
0 comments
[ 2.8 ms ] story [ 13.3 ms ] threadNo comments yet.