Automated Conjecture Resolution with Formal Verification

ArXi:2604.03789v1 Announce Type: cross Recent advances in large language models have significantly improved their ability to perform mathematical reasoning, extending from elementary problem solving to increasingly capable performance on research-level problems. However, reliably solving and verifying such problems remains challenging due to the inherent ambiguity of natural language reasoning.