Claude 参与解决 Fibonacci–Lucas 贪心表示的三项数列猜想，给出精确渐近比例 (5−√5)/2

Deep Bhattacharjee、Ushashi Bhattacharya 于 10 月 22 日公开对整数贪心 Fibonacci–Lucas 表示的研究：声称证明 Zeckendorf 表示中的项数总和与 greedy Fibonacci–Lucas 项数总和的比值趋于 (5−√5)/2，并解决 Kimberling、Greathouse 与 Kurkov 相关 OEIS 猜想。Claude Code 完成搜索、检查程序、Lean 4 证明和初稿，两名作者批准最终版，并提供程序数据的版本化 release。区别渐近定理的正文证明、Lean 证明声称和可能仍需独立专家评议的状态。