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

Главное за 9 ноября 2026

Что важно запомнить
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
Основные понятия
Lean
Язык, на котором математическое доказательство записывают формально — так, что его правильность проверяет компьютер, а не рецензент.
MCP
Открытый протокол, по которому ИИ-модель получает доступ к внешним инструментам и сервисам без отдельной интеграции под каждый из них.
SSH-агент
Программа, которая держит в памяти ключи для входа на серверы, чтобы не вводить пароль при каждом подключении.
Разметчики
Нанятые люди, которые читают диалоги пользователей с моделью и оценивают качество ответов, чтобы по этим оценкам модель дообучали.
TPU
Собственные чипы Google для обучения и работы моделей — альтернатива видеокартам Nvidia в датацентрах.