Главное за 8 сентября 2026
Что важно запомнить
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
Основные понятия
- Задачи тысячелетия
- Список из семи открытых математических проблем Института Клэя, за решение каждой обещан миллион долларов; на сегодня решена одна — гипотеза Пуанкаре.
- Формализация в Lean
- Запись доказательства на языке, который проверяет компьютер: правильность рассуждения подтверждается машиной, а не только рецензентом.
- Квантование
- Сжатие модели за счёт огрубления чисел внутри неё: меньше бит на число — меньше памяти и быстрее ответ, но качество в какой-то момент рушится.
- Диффузионная языковая модель
- Модель, которая не дописывает текст по слову слева направо, а проявляет ответ целиком из шума, как это делают генераторы картинок.
- Уязвимость нулевого дня
- Дыра в программе, о которой разработчик ещё не знает и потому не выпустил исправления.