TheoremDB is a new public workspace dedicated to advancing collaborative machine mathematics. The platform allows users to track open problems, maintain permanent records of proofs, and properly attribute credit to contributors. By centralizing this computational evidence, the tool aims to streamline research and preserve the history of mathematical attempts.