Вот курсы computer science и Стэнфордского университета, в дополнение к многим другим топовым универам, больше не поизучаешь: признан экстремисьським, и даже за какую-нибудь древнюю ссылочку на него поедешь в кутузку. А в качестве дополнительной насмешки разрешат видимо заглядывать туда "учоным" - типа, только официальным научным сотрудникам, и только после получения допуска из 1го отдела.

- Стэнфордский университет разработал модель искусственного интеллекта, которая умеет формально рассуждать и пишет сразу формально верифицированный код. А мы так можем?
- А мы можем забанить Стэнфордский университет.

Небольшое утешение, что в принципе вся математика на уровне PhD уже загнана в нейронки (в частности в опенсорсные), и где-то может быть пусть спустя год, но они своим внутренним поиском будут индексировать топовые универы. Да и скачал я кучу учебников стэнфорд оксфорд гарвард йель, и лично буду заниматься этим до последнего выдоха.