AI, Lean, and sharing mathematics
Over the last few months I have gotten back into Lean and worked with LLMs to formalise much of my own mathematics as well as the mathematics that I rely on. A concrete result of those is a GitHub repository for Fractal Geometry that may be interesting to you if you want to formalise similar results. A link can be found at the end of this post, which is all about recent happenings in AI and Maths.