Is the part about only giving answers that are already known correct, though? Some of the reporting about AI and mathematical proofs reads like LLMs can at least do some analogy constructions, where the answer is news but the method is analogous to what came before.