Яндекс.Метрика
← Дайджест от 8 сентября 2026

Главное за 8 сентября 2026

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