Yearlong project reportedly yields bounds comparing all monotone spectral filters

The project’s author says they supplied the right-hand side of the pcr bound that GPT-5 later helped prove. After initially getting “useless junk” from the model, they say the proof let their team pursue more ambitious bounds comparing all monotone spectral filters. They say the yearlong project is now finished.