A new ceiling for Λ: the de Bruijn–Newman constant
A computer-assisted proof claims to lower the de Bruijn–Newman constant’s upper bound to 0.1787854. HN’s main debate concerns how much AI contributed, whether LLM-assisted mathematics can be trusted, and how such work should be attributed and reviewed.