>>124
俺の知る限り、欧州時間で12時過ぎ(日本・韓国時間で今日の朝4時過ぎ)には
mathunion.orgで公表されてたから、リークと言うほどじゃない