[spi]

Good to know it can do that, in the pasted chat above it didn't. To be honest, it surprised me it couldn't, this isn't exactly a very hard guess given the computation results. It doesn't convince me GPT4 is anywhere close to winning the IMO, though :-)

[Davidzheng]

True. I let it continue and even prompted it with hints but it cannot find the proof that non-prime powers fail. It can however prove prime powers work.