[mathematicaster]

I have met several people telling weaker versions of that or similar claims. I believe them. A more accessible example is to intuit fairly early what computational irreducibility is. Typically one doesn't develop the language to be precise about these ideas until much later. That Wolfram had the correct language available at that age doesn't strike me as unlikely.