Scott Aaronson says AI proofs use alien, unfamiliar mathematical constructions

Scott Aaronson describes an AI-generated proof of the UGC conjecture that invents an entirely new, bizarre code with a noise test and a crazy recursive construction. He notes that mathematicians increasingly encounter this kind of "alien craziness" and predicts it will become routine.