()とは、リーマンゼータ関数の自明でない零点の間隔の分布は、ガウス型ユニタリ・アンサンブル(gue)にしたがうランダム行列の固有値の間隔の分布と統計的に同一であるとする予想。