Recently (past months August, September 2026), there have been many strong mathematical developments related to AI generated math research. I tried using LLMs in my own research domain on polishing ...