I want to share discoveries made by GPT-6 Astra last week,
providing an elegant new idea for questions I wondered about for
years. All new theorems stated in this talk are fully formalised in
Lean.
A self-similar measure is a stationary measure from...
