Mathematician Bryna Kra observes that AI has disrupted mathematics by dramatically lowering the cost of producing sophisticated proofs and theorems, which were previously scarce markers of deep understanding. She illustrates this with the Nivat conjecture, a 30-year-old problem recently targeted by automated reasoning systems, resulting in multiple purported proofs from researchers new to the field using AI assistance.