Erdős问题#650 迎来精确解，相关证明已完成Lean形式化验证。 很高兴看到完整数学解与Lean形式化验证两项贡献都获得认可。