Теоретическое программирование. Тут, конечно, вопрос номер один – искусственный разум, а для начала – его отдельные когнитивные функции, то есть искусственный интеллект (распознавание естественного языка, изображений, идентификация объектов и т.д.). А по мелочи очень много нерешённых теоретических проблем, например, автоматическое распараллеливание программ, методы оптимизация кода, методы оптимизации доступа к базам данных, задачи верификации программ и многое другое.
Очень странно относить искусственный интеллект (машинное обучение) к "теоретическому программированию"
А зачем комментировать сочинения Пушкина? О_о
Микробиология:
Существуют прионы - живые существа без ДНК, подвид вирусов. Они вызывают заболевания головного мозга, которые сейчас, к сожалению, неизлечимы.