The story fails to mention Kurzweil's newer (2005) book which refines his predictions.

Compare LaTeX output of math/statistics literate programming examples with bodies of math/statistics papers. The only significant differences are that the literate code is runnable and makes the research reproducible. The question is the academic institution's rights with respect to intellectual property in general and the answer is that science application should not be hindered by rules that encourage academic institutions to capitalize on their research findings. See "reproducible research" "literate programming".