Bolzano: Case Studies in LLM-Assisted Mathematical Research

arXiv:2604.16989v2 Announce Type: replace-cross Abstract: We report new results on eight problems in mathematics and theoretical computer science, produced with the assistance of Bolzano, an open-source multi-agent LLM system. Bolzano orchestrates rounds of interaction between parallel prover...