“The Aletheia system was used in a human-AI collaboration to produce a research paper, designated LeeSeo26, that proved bounds on systems of interacting particles called independent sets.”