Lihua Lei disproves Benjamini-Hochberg conjecture using GPT-5.6 Sol · Digg