Wait a few more years and you will see that the effort to formalize this knowledge was not in vain. We will certainly see systems which make use of this data. Cycorp is a different company with a different approach than OpenAI; but the data produced by Cycorp will likely be useful for companies like OpenAI on their way to truly intelligent systems.