Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT Posted by mathfan on Thursday October 23, 2025 @06:59AM from the arxiv.org dept. https://arxiv.org/abs/2510.19804 ( no comments | 2 points | on HN )
There are no comments yet.