цифровым значением называют IP-адресом
вдобавок, прокси бывают с разными портами (у Вас 8080) и типом (пример http, socks4, socks5)
т.ч. правильнее указать в масиве proxies 'тип : //IP :порт'
Альберт Ушаков, Совет:
при выборе прокси учитывайте не только поддержку connect, но и регион
в зонах RU, CN, ID, PK, IR, OM телеграм блокируется
для РФ, IP прокси не должен быть в списках РКН
requests слабенькая библиотека,
советую pycurl (libcurl) кроме поддержки множество типов прокси (http, https, socks4, socks4a, socks5, socks5h ), есть прокси туннелирование для http и тонкая настройка для поднятия сокета (таймауты, dns ...)