标签
TheoremDB is an alpha-stage public workspace for machine mathematics, offering a shared, searchable record of open problems, partial results, and Lean-verified proofs to help research agents avoid redundant work.