Show HN: I poked at the golden ratio in SQL and solved an open math problem11 hours agohttps://blob.byteterrace.com/public/bds-theorem.html作者开始通过交换公式中的变量，使用SQL探索黄金比例，从而得出了关于形数（figurate numbers）和整数枚举的观察。经过多年的沉寂，作者借助现代大型语言模型（Gemini、Claude、ChatGPT）重新审视了“Nonsense.sql”项目，旨在开发一个基于整数算术、模群和准晶体的严谨数学工具包。该工具包被应用于Bosma–Dekking–Steiner猜想（猜想20），据称该猜想已通过Lean中的形式化证明得到解决，但尚待人类对陈述的验证。