Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz) 5 points by mathfan 8mo ago ↗ HN
[–] derbOac 8mo ago ↗ The most interesting thing for me was this:"Nevertheless, as part of the process of writing the paper, they found a solution to the problem (slightly different from theirs) had been obtained by Hall, thirty years before Erdos even posed the problem!"
1 comment
[ 4.0 ms ] story [ 13.5 ms ] thread"Nevertheless, as part of the process of writing the paper, they found a solution to the problem (slightly different from theirs) had been obtained by Hall, thirty years before Erdos even posed the problem!"