What if you could ask a large language model a research question and get back a definitive, contextually relevant answer with verifiable sources? Or trace a scientific claim back through a century of research to uncover the foundations of a modern theory? In a talk at the AI4 conference in Las Vegas, Daniel Schauer, an…