A sad epitaph
I’m very glad he tried, even if he only proved that it was impossible
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)