Bolzano: Case Studies in LLM-Assisted Mathematical Research - Databubble