Носителят на медала „Филдс“ Мартин Хайрер: Математиците се занимават с проблеми, които не могат да бъдат автоматизирани