arXiv cs.CLPaper
From Expert-Guided Proof Search to Automated Open-Problem Solving
This is a genuine research contribution. Bolzano doesn't just solve problems; it contributes novel results that humans in the field recognize. Four solutions to open questions in theoretical computer science, confirmed by paper authors. For builders, this proves LLM agents can do proof search reliably enough for real work. For investors, this is evidence that the agent layer is mature enough for specialized reasoning tasks. The open-source release matters too.