> We should give the mathematically inclined unsolved problems to turn over, and simple Raspberry Pis (even disconnected from the internet) for the means to code new software.

This reminds me of the ReiserFS story.

https://en.wikipedia.org/wiki/Hans_Reiser