de Bruijn–Newman定数の上限を0.1787854に引き下げた証明

A new ceiling for Λ: the de Bruijn–Newman constant

Jude Gomila氏が、リーマン予想の成立条件と同値な実数であるde Bruijn–Newman定数Λの上限を、0.2から0.1787854へと引き下げるコンピュータ支援証明を公開。Polymath 15の判定条件と区間証明書（interval certificates）を用い、約315万個の機械検証済み区間証明書と厳密な数値計算により、無条件で証明を達成。証明の全ステップは監査用リポジトリで公開され、独立したレビューも受けている。