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