Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT(arxiv.org)
arxiv.org
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT
https://arxiv.org/abs/2510.19804
0 comments
—
https://arxiv.org/abs/2510.19804
—