According to gdb, GPT-5.6 Sol Pro helped prove BH fails FDR control under correlated Gaussian tests, per Dobriban’s preprint and code.