The real test would be if an LLM makes an important conjecture.