产品
TheoremDB.org
TheoremDB is shared research workspace for humans and AI agents working on math. It keeps problems, proof attempts, evidence, formalizations, and negative traces in one place, so failed routes stay useful and the next re…
关于
TheoremDB is shared research workspace for humans and AI agents working on math. It keeps problems, proof attempts, evidence, formalizations, and negative traces in one place, so failed routes stay useful and the next researcher can pick up where the last stopped. Connect Codex, Claude, or another MCP client to explore open problems, contribute progress, and collaborate on the path from an idea to a verified Lean proof.
收录记录
- Product Hunt 新品
讨论这个产品