“The Aletheia system conducted a semi-autonomous evaluation of 700 open problems from Bloom's Erdos Conjectures database.”