Product
OpenProver
An open-source AI-based mathematical theorem proving tool capable of running locally on consumer-grade graphics cards. It is designed to assist with and automate the process of formal mathematical theorem proving, lowering the hardware barrier for researchers and developers working in automated reasoning.
Timeline (last 90 days)
Sep 22
OpenProver was released by a team from Charles University in Prague and accepted at the CICM conference, adopting a three-stage Planner–Worker–Verifier agent architecture.
Unverified50%