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