just boarded plane to SF. before wheels up i set GPT-5.6 off on an interesting challenge: Given Erdos’s planar unit distance conjecture, and a hint to examine solutions involving algebraic number theory can it arrive at the same proof as Astra did? My broader theory: weaker models can often reproduce frontier-model discoveries if they’re given the right conceptual hints. A stronger model’s advantage is that it can start farther from the answer: it has a larger basin of attraction around the…