'Stunning' percolation proof solves decades-old puzzle about phase transitions
Mathematicians solved a decades-old percolation conjecture with a surprisingly simple proof. HN’s extended discussion asks whether AI could automate such breakthroughs and what that would mean for human research and cognition.