We might as well say that none of us have ever seen a cockroach that can solve Erdos problems as well as an LLM. Or write code, or stories, etc.