TheoremDB is a public workspace designed for machine mathematics, currently in alpha. It allows live contributions, including Lean proof submissions, and aims to reduce redundancy in research efforts.

Medical students are increasingly using TriNetX, a research platform providing access to anonymized electronic health records for over 300 million patients, to produce studies. Concerns have arisen regarding the quality and reliability of these studies, with many being labeled as misleading.