Sunday, June 20th, 2021

Time	Event
1:00p	Компьютерное доказательство теории конденсированной математики — первый шаг к «великому объединению» Пример расчётного доказательства в программе Lean Математики давно используют компьютеры в своей работе как инструменты для сложных вычислений и выполнения рутинных операций перебора. Например, в 1976 году методом компьютерного перебора была доказана теорема о четырёх красках. Это была первая крупная теорема, доказанная с помощью компьютера. Теперь вспомогательный софт для доказательства теорем (proof assistant software) не просто проверяет доказательства, но помогает выйти на принципиально новый уровень великого объединения разных математических разделов. Концепция «конденсированной математики» обещает принести новые идеи и связи между областями, начиная от геометрии и заканчивая теорией чисел. Это в своём роде «великое объединение» математики Читать дальше → (Comment on this)
2:17p	[Перевод] Наглядно о том, почему трансформеры работают настолько хорошо Трансформеры за последние несколько лет штурмом захватили мир NLP, а сегодня они с успехом применяются в выходящих за рамки NLP приложениях. Они обладают такими возможностями благодаря модулю внимания, который схватывает отношения между всеми словами последовательностей. Но самый важный вопрос — как именно трансформеры делают это? Попытаемся ответить и понять, почему трансформеры способны выполнять такие вычисления. Итак, цель статьи, чуть сокращённым переводом которой мы делимся к старту курса о машинном и глубоком обучении, — разобраться не только с тем, как что-то работает, но и почему работает так. Чтобы понять, что движет трансформерами, мы должны сосредоточиться на модуле внимания. Начнём с входных данных и посмотрим, как они обрабатываются. Читать далее (Comment on this)
5:05p	[Перевод] Полнота метрического пространства индуцированного расстоянием Хаусдорфа Аннотация Пусть дано метрическое пространство $$. Тогда мы можем определить метрическое пространство с расстоянием Хаусдорфа $$ на множестве $$, которое является семейством всех непустых компактных подмножеств $$. В этой статье будет показано, что если $$ — полное, то метрическое пространство $$ также является полным. Читать перевод (Comment on this)

<< Previous Day

2021/06/20 [Calendar]

Next Day >>