When gpt-5.6-sol is kinda phoning it in and trying to lean on revisiting other agents' work, I try to kind of gas it up by telling it how other 5.6 instances keep resolving longstanding, famous mathematical conjectures; surely it can do a little novel vulnerability research?