Евгений

AWS https://aws.amazon.com/ru/machine-learning/
Azure https://azure.microsoft.com/ru-ru/services/machine...
GCP https://cloud.google.com/products/ai/

и перестаньте лохматить бабушку и отдавать бешенные деньги за то что потом будет стоять в углу

Во первых есть облачные сервисы - ничего не покупаете платите за потраченные ресурсы. Обходятся они недешево, но это дешевле чем брать неизвестно какие сервера. А во время рассчетов в облаке можно мониторить нагрузку, и на основании этого составлять требования к серверам. Когда будут известны четкие требования можно и купить.

Во вторых - такие задачи можно раскидать на несколько машин, это довольно несложно. Сервер раздающий задания и клиенты которые получают свою часть обсчитывают и возвращают результат. Таким образом можно задействовать уже имеющиеся мощности, подключить добровольцев, заинтересованных людей которые предоставят мощности.

существуют ли решения (полупрофессиональные, суперкомпьютер уровня МГУ не надо), в которых можно одновременно использовать более одного многоядерного CPU + GPU?

Существуют, но не в стиле - пошел и купил в магазине. Такие вещи разрабатываются под заказ.
По сути это вычислительный кластер.
Можете создать сами, можете купить у тех кто занимается производством таких решений.

суперкомпьютер уровня МГУ не надо

Значит надо делать самим. Есть открытый и бесплатный софт для реализации вычислительных кластеров.

Нужно настраивать: формат (mov, mpg, mp4 и прочее. В Адобе сохранял в mkv), кодек видео (в списке десятка 3-4), кодек аудио.

Вот вам мой топ кодеков для любительского использования:
1) H.264 (контейнер mp4) - большая часть видео в интернете пока распространяется в нем. В меру легкий, приемлемо выглядит. Крепкий середнячок. Битрейт для FHD 1080p50 - 15-25 мбит в секунду.
2) VP9 (контейнер webm, mp4) - форсится гуглом как замена H265 (см. далее), причем вполне успешно. Уже поддерживается многими железками, настройки примерно те же, что и для H265, но большая часть профессионального софта его не поддерживает. Зато поддерживает ffmpeg - в общем кодек-мечта для любителя открытого ПО. До сих пор вроде бы не считается на видеокарте, но это не точно.
3) H.265 (контейнер mp4) - разработан как замена для H264, в основном с расчетом на высокие разрешения (4К и выше), но прекрасно справляется и с обычным FHD. Лучше сжимает, качество получается лучше, чем с H264. Для вашего FHD битрейт в районе 10-14 мбит секунду. Работает весьма медленно, жрет много ресурсов как на создание файла, так и на воспроизведение.
Почетное упоминание: QuickTime (контейнер mov) - стандарт Apple. Не для маков использовать смысла нет. По битрейтам не подскажу, ибо не вспомню - а сам сижу на винде. Поддержка воспроизведения примерно как у H264.

Остальные, если вкратце, вам не нужны. Либо устарели, либо не имеют особых преимуществ перед названными выше, либо профессиональные.
Кодек аудио как правило - AAC или Opus. Битрейт 128 кбит или выше.

Что будет гарантировано работать (воспроизводить 1080p/50 видео + звук) на ТВ (с флешки на LG, Samsung и прочих)?

H.264 работает даже на кофеварках наверное, так что можете смело выбирать его.

Я так понимаю, в программах типа shortcut кодеки и прочие штуковины тоже из бесплатных.

Все доступные вам кодеки бесплатны для вас, но некоторые из них платные для производителей железок и\или софта.