正標数の特異点解消が解けた、みたいな話が出てるね。