Re:Resolving a $1000 Erdős problem, and vibe coding a Lean p...
by derbOac on Wednesday October 22, 2025 @09:17AM
(#45668662)
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!"
"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!"