Bolzano: From Expert-Guided Proof Search to Automated Open-Problem Solving
arXiv:2610.09769v2 Announce Type: replace Abstract: Large language models are increasingly contributing to mathematical research, where progress often depends on efficient proof search, incremental improvements and careful verification. We describe Bolzano, a multi-agent open-source system that uses parallel prover agents with a verifier agent and maintains a human-readable research state. Initial manual use on expert-selected problems yielded 8 results whose proofs were checked by domain exper…