Interconnected

Metamath [permanent url] has an archive of mathematical proofs, cross-references, for you to explore. And a very odd section dedicated to translating those proofs into music.