He didn't prove any such thing.
Especially if you consider using a SOTA LLM to recreate and expand ResearchCyc (for fun and not profit)