I know I am missing the point but I hated that short story.

There's no way any digital society loses record like that naturally since it's so cheap to store such information and have it last a long period of time and there's always enthusiasts that keep such things alive where sufficient advancements in technology mean people have more spare time.

Also, it's way more unbelievable that an AI so advanced wouldn't be able to design simple manned machines.