2011-11-29 行列積計算 Virginia Vassilevska Williamsがω<2.3727を証明したようです.Liptonのブログより.ちなみに,Virginia Vassilevska WilliamsはRyan Williamsの奥さん.