TGViewer
formal labs formal labs @formallabs · 420 subscribers
Post #21 835
formal labs 17 августа в 20:00 MSK (19:00 CET, 10:00 PT) пройдет доклад Лаборатории формальной математики. Приглашаются все желающие. Спикер: Василий Ильин, Директор Лаборатории ИИ для Математики в Университете Вашингтона Тема доклада: ИИ для формализации математики:…
ИИ для формализации математики: прогресс за 4 месяца

Доклад начинается прямо сейчас в зуме по ссылке.
Zoom Video Conferencing, Web Conferencing, Webinars, Screen Sharing Zoom is the leader in modern enterprise video communications, with an easy, reliable cloud platform for video and audio conferencing, chat, and webinars across mobile, desktop, and room systems. Zoom Rooms is the original software-based conference room solution…
Open in Telegram All posts from @formallabs
More from @formallabs
  1. Sep 26, 2026Лекция по формализации математики в Lean начнется через 30 минут: https://yandex.zoom.us/j…
  2. Sep 24, 2026записи лекций по теории категорий обновлены
  3. Sep 24, 2026Всем привет! На manytask вышла первая домашка по Lean. Во всех задачах нужно заменить sorr…
  4. Sep 23, 2026Через 5 минут мы начинаем! (ссылка на трансляцию на странице курса)
  5. Sep 22, 2026Завтра продолжится курс по теории категорий. Наша цель — детально разобраться в двух фунда…
  6. Sep 19, 2026Лекция по формализации математики в Lean начнется через 15 минут: https://yandex.zoom.us/j…
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 →