Lost-in-TARDIS
"всё придумано не нами и до нас"
Ага, и в том числе и это.

Буквально просится идея книги, которую читают ровно одну жизнь. С самого детства и до последних дней старости. Такого я еще не встречал, зато видел эссе про не-человеческую литературу, написанную не-людьми для не-людей, произведения настолько сложные или настолько обширные, что люди не могут даже надеяться объять их пониманием.
И надо сказать, что это уже не совсем фантастика. 1976 - первое Computer-assisted proof, доказана теорема о четырех красках. Некоторые математики опасаются, что со временем большую часть доказательств будут делать программы, проверять которые тоже будут программы.