- The author began exploring the golden ratio using SQL by swapping variables in its formula, leading to observations about figurate numbers and enumerating integers.
- After years of dormancy, the author revisited the 'Nonsense.sql' project with modern LLMs (Gemini, Claude, ChatGPT) to develop a rigorous mathematical toolkit based on integer arithmetic, the modular group, and quasicrystals.
- The toolkit was applied to the Bosma–Dekking–Steiner conjecture (Conjecture 20), which was claimed to be solved with a formal proof in Lean, pending human verification of the statement.