“The Aletheia system autonomously solved four open questions from Bloom's Erdos Conjectures database.”