Walden Yan Backs $1M AI Math Progress Initiative · Digg