In 2000, Fields Medalist Alain Connes stated that the Clay Mathematics Institute Millennium Prize problems were totally inaccessible to computers