Thinking Algorithmically About Impossibility

Research Challenges in Designing the US Incentive Auction

Beyond Computation: The P versus NP question

Доказательство с нулевым разглашением (с Ави Вигдерсоном) — Numberphile

Leslie Lamport: Thinking Above the Code

Professor Avi Wigderson on the "P vs. NP" problem

Истерика пропаганды, Мобилизация резервистов, Каспаров vs Шендерович, Итоги года от Белковского

4 Hours Chopin for Studying, Concentration & Relaxation

Мы ЗАСТРЯЛИ в Солнечной системе, и вот почему... | Михаил Никитин, Борис Штерн

AI’s Models of the World, and Ours | Theoretically Speaking

User-Friendly Tools for Random Matrices I

Light Years Ahead | The 1969 Apollo Guidance Computer

Управление поведением LLM без тонкой настройки

Визуализация внимания, сердце трансформера | Глава 6, Глубокое обучение

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

The Unreasonable Effectiveness of Spectral Graph Theory: A Confluence of Algorithms, Geometry & ...

Теорема Пуанкаре-Перельмана простыми словами – математик Алексей Савватеев | Научпоп

Professor Avi Wigderson on a computational theory of randomness

CppCon 2014: Mike Acton "Data-Oriented Design and C++"

What Makes P vs. NP So Hard? (P ≠ EXPTIME, Time Hierarchy, Baker-Gill-Solovay)

Vinod Vaikuntanathan - Lattices and Cryptography: A Match Made in Heaven