TGViewer
Кафедра математической логики и теории алгоритмов мехмата МГУ Кафедра математической логики и теории алгоритмов мехмата МГУ @msu_mathlog · 341 subscribers
Post #184 189
#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)

3 April 2025, 16.30 CET = 18.30 Moscow time

Speaker: Matthew Cook
Title: The Understanding Machine

Abstract:
One of the still-distant goals of AI is to generate understanding out of raw data. After all, a brain is a machine that can do this. Inspired by how the visual cortex appears to operate, combined with a simple algebra for manipulating an abstraction of the structures that arise, we look at what happens when we apply this to trying to understand the one-dimensional world of binary addition problems. Starting with raw data, and then mechanically applying the simplifying rules of the algebra, we indeed reach a new understanding, yielding a new binary addition algorithm.

➰ ВК
VK Кафедра математической логики МГУ. Пост со стены. #матлог #учёба #спецсеминар Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
More from @msu_mathlog
  1. Oct 5, 2026#матлог #учёба #спецсеминар 7 октября 2026 г. состоится заседание Рабочего семинара по мат…
  2. Oct 2, 2026#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семи…
  3. Oct 1, 2026#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД Семинар отдела математической логики МИАН…
  4. Sep 30, 2026#матлог #учёба #спецсеминар Kolmogorov seminar on complexity (for receive the zoom link, p…
  5. Sep 30, 2026#матлог #учёба #просеминар 💥В пятницу 2 октября состоится очередное занятие просеминара п…
  6. Sep 29, 2026#матлог #учёба #семинар #не_мехмат #ВШЭ Уважаемые коллеги, приглашаем вас принять участие…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →