From mathematical proofs to biological discoveries, AI is connecting ideas across disciplines, bringing new scale to Don Swanson's "undiscovered public knowledge".