alt Hacker NewsFWIW, there has already been a lot of effort thrown at AI attacking lattice problems underlying PQC without anything to show for it. I'm not sure why Vitalik is suddenly worried about lattice problems in particular, unless he has some insider knowledge.
The AI unit distance conjecture proof used high-dimensional lattices and algebraic number fields, adjacent to the kind of stuff used in lattice PQC. It shows skill in that area.