So, this happened.

The Institute for Advanced Study is presenting new results in fractal geometry discovered with GPT-6 Astra and fully formalized in Lean. One theorem says every absolutely continuous self-similar measure has an $Lᵖ$ density for some $p > 1$. Another gives explicit continuous-density results for Bernoulli convolutions with parameter $1 − 1/n$ for every $n > 588$, where previously even absolute continuity was only known at a bound of roughly $n > 10²⁰$.

https://www.ias.edu/math/events/special-dynamics-learning-seminar

More from Dogmathic

For more math news, explanations, proofs, examples, and commentary, check out Dogmathic Math Notes and the latest Dogmathic videos. You can also grab free PDFs and LaTeX resources or sign up for occasional email updates when something worth sharing gets published.

Math Notes | Videos | Free PDFs | Email Updates