Google представили прототип AML-системы, проводящей полный цикл научной работы при этом гарантирует проверяемость результатов
Авторы проекта говорят, что сегодняшние автономные AML-учёные уже пишут статьи, но часто:
- выдумывают несуществующие ссылки
- описывают в тексте один метод, а в коде реализуют совсем другой
- говорят о результатах экспериментов, которые нельзя воспроизвести по приложенному коду
Решение от Google - Science One Framework, у которого принцип работы такой: каждое утверждение в статье должно быть привязано к конкретному источнику в реальной статье из базы, строчке лога эксперимента или фрагменту кода
Сам фреймворк состоит из 3-х основных частей:
1. один читает литературу через Semantic Scholar API и берёт ссылки только оттуда, без обращения к памяти модели
2. второй параллельно тестирует решения и фиксирует все результаты в неизменяемом логе
3. третий Claim Verifier перед публикацией сверяет каждое утверждение с доказательной базой и переформулирует то, что за её рамки выходит
В качестве аудита Google предложили отдельный протокол CoE Audit - 4 автоматические проверки любой сгенерированной статьи
Авторы проекта говорят, что сегодняшние автономные AML-учёные уже пишут статьи, но часто:
- выдумывают несуществующие ссылки
- описывают в тексте один метод, а в коде реализуют совсем другой
- говорят о результатах экспериментов, которые нельзя воспроизвести по приложенному коду
Решение от Google - Science One Framework, у которого принцип работы такой: каждое утверждение в статье должно быть привязано к конкретному источнику в реальной статье из базы, строчке лога эксперимента или фрагменту кода
Сам фреймворк состоит из 3-х основных частей:
1. один читает литературу через Semantic Scholar API и берёт ссылки только оттуда, без обращения к памяти модели
2. второй параллельно тестирует решения и фиксирует все результаты в неизменяемом логе
3. третий Claim Verifier перед публикацией сверяет каждое утверждение с доказательной базой и переформулирует то, что за её рамки выходит
В качестве аудита Google предложили отдельный протокол CoE Audit - 4 автоматические проверки любой сгенерированной статьи
Google Research
Science One Framework: A verifiable autonomous research framework via Chain-of-Evidence
Introducing the Science One Framework, an experimental research prototype designed to eliminate hallucinations by natively building verifiable evidence chains, and CoE Audit, an automated protocol to evaluate the integrity of AI-generated papers.
Сегодня кафедры высшей математики в технических университетах стоят на развилке с камнем: оставаться в роли хранителей «бумажной» традиции или стать проводниками в зону формальной математики и ИИ-помощников
Формально записанные доказательства, языки и библиотеки Agda, Coq, Lean, mathlib, системы уровня AlphaProof уже меняют практику исследования и преподавания — но во многих аудиториях по‑прежнему живут только мел, доска, интегралы и устные легенды про «гениев с тетрадью»
За последние два‑три года математика изменилась сильнее, чем за предыдущие несколько десятилетий (а то и столетий)
Формальные доказательные среды и большие языковые модели перестали быть экзотическими игрушками
Они:
• формулируют и проверяют доказательства на уровне международных олимпиад и журналов
• помогают формализовывать классические теоремы, которые раньше годами «жили на бумаге»
• становятся частью инженерной практики: от верификации протоколов до проверки кода систем реального времени
При этом в большинстве технических вузов курс высшей математики по-прежнему устроен так, как будто этих инструментов не существует
Студентов учат решать задачи по образцу, но не учат:
• читать и писать формальные спецификации
• работать с доказательными помощниками (proof assistants)
• проверять корректность рассуждений машинными средствами
Меняются ли преподаватели вместе с дисциплиной?
Вводится хотя бы демонстрационный уровень работы с Lean, Coq или их аналогами?
Учат ли студентов, как формальная запись теоремы и её доказательства выглядит в коде, как устроены библиотеки, что такое тактики доказательства?
Обсуждаются с ними риски неформального подхода, когда БЯМ выдаёт «правдоподобный бред», и отличие этого от формально проверяемого результата?
Если нет — давайте честно признаем: мы готовим выпускников для вчерашнего дня
Инженер, который не умеет читать формальное описание алгоритма или спецификацию протокола, скоро окажется в положении человека, не умеющего пользоваться компилятором
Студент, который ни разу не видел, как AML выступает в роли помощника в формальной верификации, будет вынужден учиться этому «на ходу» уже в индустрии — без поддержки университета
Это не призыв выбросить классические курсы или заменить живое доказательство кликом по кнопке
Речь о другом: о включении формальной математики и AML-инструментов в стандартный образовательный маршрут
О том, чтобы в задачах по анализу и алгебре появлялись не только «найдите интеграл», но и «запишите формальную формулировку теоремы и проверьте её в системе»
О том, чтобы практикумы по программированию и курсы по алгоритмам опирались на тот же формальный язык, что и современные доказательные помощники
Пара переводов статей по AML-математике для размышления:
1) Доказательные помощники: https://clck.ru/3V4THJ
2) Формально или неформально, в области доказательства теорем: https://clck.ru/3V4THv
Формально записанные доказательства, языки и библиотеки Agda, Coq, Lean, mathlib, системы уровня AlphaProof уже меняют практику исследования и преподавания — но во многих аудиториях по‑прежнему живут только мел, доска, интегралы и устные легенды про «гениев с тетрадью»
За последние два‑три года математика изменилась сильнее, чем за предыдущие несколько десятилетий (а то и столетий)
Формальные доказательные среды и большие языковые модели перестали быть экзотическими игрушками
Они:
• формулируют и проверяют доказательства на уровне международных олимпиад и журналов
• помогают формализовывать классические теоремы, которые раньше годами «жили на бумаге»
• становятся частью инженерной практики: от верификации протоколов до проверки кода систем реального времени
При этом в большинстве технических вузов курс высшей математики по-прежнему устроен так, как будто этих инструментов не существует
Студентов учат решать задачи по образцу, но не учат:
• читать и писать формальные спецификации
• работать с доказательными помощниками (proof assistants)
• проверять корректность рассуждений машинными средствами
Меняются ли преподаватели вместе с дисциплиной?
Вводится хотя бы демонстрационный уровень работы с Lean, Coq или их аналогами?
Учат ли студентов, как формальная запись теоремы и её доказательства выглядит в коде, как устроены библиотеки, что такое тактики доказательства?
Обсуждаются с ними риски неформального подхода, когда БЯМ выдаёт «правдоподобный бред», и отличие этого от формально проверяемого результата?
Если нет — давайте честно признаем: мы готовим выпускников для вчерашнего дня
Инженер, который не умеет читать формальное описание алгоритма или спецификацию протокола, скоро окажется в положении человека, не умеющего пользоваться компилятором
Студент, который ни разу не видел, как AML выступает в роли помощника в формальной верификации, будет вынужден учиться этому «на ходу» уже в индустрии — без поддержки университета
Это не призыв выбросить классические курсы или заменить живое доказательство кликом по кнопке
Речь о другом: о включении формальной математики и AML-инструментов в стандартный образовательный маршрут
О том, чтобы в задачах по анализу и алгебре появлялись не только «найдите интеграл», но и «запишите формальную формулировку теоремы и проверьте её в системе»
О том, чтобы практикумы по программированию и курсы по алгоритмам опирались на тот же формальный язык, что и современные доказательные помощники
Пара переводов статей по AML-математике для размышления:
1) Доказательные помощники: https://clck.ru/3V4THJ
2) Формально или неформально, в области доказательства теорем: https://clck.ru/3V4THv
Teletype
Доказательные помощники в эпоху ИИ
Леонардо де Моура
В Якутии планируют построить мощный центр обработки данных (ЦОД), который станет ключевой инфраструктурой для развития искусственного интеллекта на Дальнем Востоке
ЦОД — это высокотехнологичный комплекс для хранения и обработки огромных объемов информации, что необходимо для работы современных цифровых сервисов, нейросетей и научных исследований
Сейчас специалисты выбирают конкретные площадки с надеждой энергетической инфраструктурой
Собственный ЦОД критически важен для развития региона и привлечения ведущих технологических компаний
Глава правительства поддержал создание ЦОД, назвав данные "новой нефтью XXI века"
ЦОД — это высокотехнологичный комплекс для хранения и обработки огромных объемов информации, что необходимо для работы современных цифровых сервисов, нейросетей и научных исследований
Сейчас специалисты выбирают конкретные площадки с надеждой энергетической инфраструктурой
Собственный ЦОД критически важен для развития региона и привлечения ведущих технологических компаний
Глава правительства поддержал создание ЦОД, назвав данные "новой нефтью XXI века"
В прошлом году делились материалом, автор которого потратил огромное кол-во времени и пересобрал сотни кластеров k8s, что помогло реализовать полноценный гайд по ручному развертыванию Kubernetes без использования автоматизированных инструментов, таких как
У автора есть дополнительный материал из этой серии
Статья небольшая, но полезная - поможет освежить в памяти хорошо забытое старое и, возможно, узнать что-то новое
В первой статье собрали control plane вручную: выпустили сертификаты, подготовили конфигурации и запустили управляющие компоненты
API-сервер уже отвечает, но кластер пока остается без рабочих узлов
Пока в кластере нет worker-нод, запускать прикладные поды просто негде
Во второй части добавим Worker-ноду и разберем весь путь от чистой VM до зарегистрированного узла в Kubernetes
Kubernetes The Hard Wa
Часть 1:
➡ Введение
➡ Почему «The Hard Way»
➡ Архитектура развертывания
➡ Создание инфраструктуры
➡ Базовая настройка узлов
➡ Загрузка модулей ядра
➡ Настройка параметров sysctl
➡ Установка компонентов
➡ Настройка компонентов
➡ Проверка готовности компонентов
➡ Работа с сертификатами
➡ Создание корневых сертификатов
➡ Создание сертификатов приложений
➡ Создание ключа подписи ServiceAccount
➡ Создание всех сертификатов
➡ Создание конфигураций kubeconfig
➡ Создание всех kubeconfig;
➡ Проверка блока сертификатов
➡ Создание static pod-ов управляющего контура
➡ Создание всех static pod-ов управляющего контура
➡ Создание static pod-ов ETCD кластера
➡ Запуск службы Kubelet;
➡ Проверка состояния кластера
➡ Настройка ролевой модели
➡ Загрузка конфигурации в кластер
➡ Загрузка корневых сертификатов в кластер
➡ Маркировка и ограничение узлов
Kubernetes The Hard Wa
Часть 2:
➡ Инфраструктура
➡ Базовая настройка узлов
➡ Загрузка модулей ядра
➡ Настройка параметров sysctl
➡ Установка компонентов
➡ Настройка компонентов
➡ Аутентификация
➡ Запуск Kubelet
➡ Проверка
➡ Вывод
S.E. infosec.work
kubeadmУ автора есть дополнительный материал из этой серии
Статья небольшая, но полезная - поможет освежить в памяти хорошо забытое старое и, возможно, узнать что-то новое
В первой статье собрали control plane вручную: выпустили сертификаты, подготовили конфигурации и запустили управляющие компоненты
API-сервер уже отвечает, но кластер пока остается без рабочих узлов
Пока в кластере нет worker-нод, запускать прикладные поды просто негде
Во второй части добавим Worker-ноду и разберем весь путь от чистой VM до зарегистрированного узла в Kubernetes
Kubernetes The Hard Wa
Часть 1:
Kubernetes The Hard Wa
Часть 2:
S.E. infosec.work
Please open Telegram to view this post
VIEW IN TELEGRAM
docs.dobry-kot.ru
Kubernetes The Hard Way: Workers | in-cloud
Подключаем Worker-ноду к Kubernetes-кластеру вручную: подготовка ОС, bootstrap token, CSR API, kubeadm join и запуск kubelet.
Prime intellect introduced Prime Agent a self-improving RLM harness for coding and long-running autonomous tasks
Designed to be both token-efficient and expressive through programmatic tool calling, context as a variable, multi-agent messaging, and a self-modifiable harness state
Prime Agent is a general-purpose coding harness
On ARC-AGI-3, it scores 95.5 %, surpassing the human-expert baseline, but the gain is not benchmark-specific
Prime Agent combines three ideas:
1. Recursive Language Models-native programmatic tool calling
2. Persistent multi-agent orchestration
3. A self-improving Continual Harness
Together, they let the model act on its own context and harness
Prime Agent is built on pi and fully open-source with an open license
Designed to be both token-efficient and expressive through programmatic tool calling, context as a variable, multi-agent messaging, and a self-modifiable harness state
Prime Agent is a general-purpose coding harness
On ARC-AGI-3, it scores 95.5 %, surpassing the human-expert baseline, but the gain is not benchmark-specific
Prime Agent combines three ideas:
1. Recursive Language Models-native programmatic tool calling
2. Persistent multi-agent orchestration
3. A self-improving Continual Harness
Together, they let the model act on its own context and harness
Prime Agent is built on pi and fully open-source with an open license
www.primeintellect.ai
Prime Agent: A self-improving RLM agent
Prime Agent is our open-source, self-improving coding harness built around two abstractions: the Recursive Language Model (RLM) and the Continual Harness. With Opus 5, it achieves 95.5% on ARC-AGI-3, surpassing the reported human expert baseline.
Команда из Prime Intellect выпустила новый тип ИИ-агента, Prime Agent, у которого харнесс является центральной частью архитектуры
Если вы не знаете, что такое харнесс, то в двух словах-это вся обвязка вокруг языковой модели: инструменты, управление контекстом, память, субагенты, цикл работы, система промптов и тд.
Prime Agent создан вокруг двух ключевых идей:
1. Recursive Language Model
2. Continual Harness
Это значит, что харнесс этого агента может сам себя улучшать и при этом он полностью open-source
Если вы не знаете, что такое харнесс, то в двух словах-это вся обвязка вокруг языковой модели: инструменты, управление контекстом, память, субагенты, цикл работы, система промптов и тд.
Prime Agent создан вокруг двух ключевых идей:
1. Recursive Language Model
2. Continual Harness
Это значит, что харнесс этого агента может сам себя улучшать и при этом он полностью open-source
Telegram
All about AI, Web 3.0, BCI
Prime intellect introduced Prime Agent a self-improving RLM harness for coding and long-running autonomous tasks.
Designed to be both token-efficient and expressive through programmatic tool calling, context as a variable, multi-agent messaging, and a self…
Designed to be both token-efficient and expressive through programmatic tool calling, context as a variable, multi-agent messaging, and a self…
Спрос российских школьников на IT-специальности в вузах снизился в 2026 году
Абитуриенты начали отдавать предпочтение другим инженерно-технологическим направлениям с сильной математической базой
Самыми востребованными среди инженерно-технологических направлений стали «Программная инженерия», «Прикладная математика и информатика», «Информатика и вычислительная техника», «Фундаментальная информатика и информационные технологии» и «Физика»
В гуманитарном блоке свою популярность сохранили «Юриспруденция», «Менеджмент», «Экономика»и связанные с управлением и медиа специальности
В лидеры среди всех направлений вышли «Программная инженерия», «Прикладная математика и информатика», «Юриспруденция» и «Экономика»
Абитуриенты начали отдавать предпочтение другим инженерно-технологическим направлениям с сильной математической базой
Самыми востребованными среди инженерно-технологических направлений стали «Программная инженерия», «Прикладная математика и информатика», «Информатика и вычислительная техника», «Фундаментальная информатика и информационные технологии» и «Физика»
В гуманитарном блоке свою популярность сохранили «Юриспруденция», «Менеджмент», «Экономика»и связанные с управлением и медиа специальности
В лидеры среди всех направлений вышли «Программная инженерия», «Прикладная математика и информатика», «Юриспруденция» и «Экономика»
Как воспитывать детей в эпоху цифровых технологий?
И какие методики работы с подростками действительно эффективны?
Именно этими вопросами займётся Научно-методический совет, созданный при Российском детско-юношеском центре
В его состав вошли ведущие учёные и эксперты в сфере образования и воспитания
Вместе они будут разрабатывать современные методические рекомендации, поддерживать педагогов, проводить экспертизу образовательных проектов и внедрять лучшие воспитательные практики
Основными направлениями работы Совета станут научно- методическая поддержка педагогического сообщества, реализация педагогических инноваций и формирование единого воспитательного пространства во всех образовательных организациях нашей страны
Первое заседание Научно-методического совета прошло 6 августа в Санкт-Петербурге в рамках конференции «Воспитание созиданием», объединившей более 100 специалистов из разных регионов России, а также Южной Осетии и Абхазии
Росдетцентр
____________
У меня 22 вопроса к «ведущим учёным и экспертам в сфере образования и воспитания детей в эпоху цифровых технологий»
И еще один для всех…
И какие методики работы с подростками действительно эффективны?
Именно этими вопросами займётся Научно-методический совет, созданный при Российском детско-юношеском центре
В его состав вошли ведущие учёные и эксперты в сфере образования и воспитания
Вместе они будут разрабатывать современные методические рекомендации, поддерживать педагогов, проводить экспертизу образовательных проектов и внедрять лучшие воспитательные практики
Основными направлениями работы Совета станут научно- методическая поддержка педагогического сообщества, реализация педагогических инноваций и формирование единого воспитательного пространства во всех образовательных организациях нашей страны
Первое заседание Научно-методического совета прошло 6 августа в Санкт-Петербурге в рамках конференции «Воспитание созиданием», объединившей более 100 специалистов из разных регионов России, а также Южной Осетии и Абхазии
Росдетцентр
____________
У меня 22 вопроса к «ведущим учёным и экспертам в сфере образования и воспитания детей в эпоху цифровых технологий»
И еще один для всех…
На Яндекс Книгах подборку с задачами, головоломками и полезными приёмами критического мышления
Здесь есть и классика отечественного научпопа, и современные разборы того, как цифры помогают манипулировать людьми
Для любителей задачек:
«Загадки и диковинки в мире чисел» Яков Перельман
Классика отечественного научпопа — Перельман сто с лишним лет назад стал одним из основоположников жанра занимательной математики, и его загадки про числа до сих пор работают
Обязательный пункт для тех, кто интересуется историей популяризации науки в России
«Стратегии решения математических задач» Альфред Позаментье, Стивен Крулик
На первый взгляд это достаточно рядовой сборник задач, но изюминка его вот в чём: авторы разбирают классические типы задач и для каждой показывают два разных пути решения — ординарный и образцовый
Предыдущая задача и решение, кстати, именно из этого сборника!
«133 вопроса на знание логики, математики и физики»
Николай Полуэктов, Павел Полуэктов
Сборник задач-головоломок на сообразительность — то, что можно решать вечером вместо кроссворда
Логика, немного физики, немного чистой математики: авторы явно любят, когда решение находится не через формулу, а через щелчок в голове
Для развития критического мышления:
«Как лгать при помощи статистики» Дарелл Хафф
Классика жанра — книга 1954 года, которая до сих пор не устарела ни на йоту
Хафф на пальцах показывает, как одни и те же цифры превращаются в убедительную ложь: неудачная выборка, обрезанный график, «средняя температура по больнице»
После этой книги критическое мышление уже не даст так спокойно смотреть на инфографику в новостях
«Цифры врут Как не дать статистике обмануть себя»
Том Чиверс, Дэвид Чиверс
Современное продолжение разговора, начатого Хаффом, — про то же самое, но с поправкой на эпоху соцсетей и статистики времён пандемии
Авторы разбирают конкретные громкие случаи, когда журналисты (и учёные) наступали на одни и те же грабли, и объясняют, как отличить надёжное исследование от шумихи
«Числоголики» Микаэль Дален, Хельге Торбьёрнсен
И ещё одна книга о том, как числа и статистика используются и как ими злоупотребляют в рекламе, политике и повседневных решениях
Авторы — маркетолог и экономист — показывают, как легко манипулировать людьми с помощью на первый взгляд объективных цифр
Книги доступны в аудиоформате — их читает виртуальный рассказчик на основе речевых технологий
Яндекса
Здесь есть и классика отечественного научпопа, и современные разборы того, как цифры помогают манипулировать людьми
Для любителей задачек:
«Загадки и диковинки в мире чисел» Яков Перельман
Классика отечественного научпопа — Перельман сто с лишним лет назад стал одним из основоположников жанра занимательной математики, и его загадки про числа до сих пор работают
Обязательный пункт для тех, кто интересуется историей популяризации науки в России
«Стратегии решения математических задач» Альфред Позаментье, Стивен Крулик
На первый взгляд это достаточно рядовой сборник задач, но изюминка его вот в чём: авторы разбирают классические типы задач и для каждой показывают два разных пути решения — ординарный и образцовый
Предыдущая задача и решение, кстати, именно из этого сборника!
«133 вопроса на знание логики, математики и физики»
Николай Полуэктов, Павел Полуэктов
Сборник задач-головоломок на сообразительность — то, что можно решать вечером вместо кроссворда
Логика, немного физики, немного чистой математики: авторы явно любят, когда решение находится не через формулу, а через щелчок в голове
Для развития критического мышления:
«Как лгать при помощи статистики» Дарелл Хафф
Классика жанра — книга 1954 года, которая до сих пор не устарела ни на йоту
Хафф на пальцах показывает, как одни и те же цифры превращаются в убедительную ложь: неудачная выборка, обрезанный график, «средняя температура по больнице»
После этой книги критическое мышление уже не даст так спокойно смотреть на инфографику в новостях
«Цифры врут Как не дать статистике обмануть себя»
Том Чиверс, Дэвид Чиверс
Современное продолжение разговора, начатого Хаффом, — про то же самое, но с поправкой на эпоху соцсетей и статистики времён пандемии
Авторы разбирают конкретные громкие случаи, когда журналисты (и учёные) наступали на одни и те же грабли, и объясняют, как отличить надёжное исследование от шумихи
«Числоголики» Микаэль Дален, Хельге Торбьёрнсен
И ещё одна книга о том, как числа и статистика используются и как ими злоупотребляют в рекламе, политике и повседневных решениях
Авторы — маркетолог и экономист — показывают, как легко манипулировать людьми с помощью на первый взгляд объективных цифр
Книги доступны в аудиоформате — их читает виртуальный рассказчик на основе речевых технологий
Яндекса
Практический курс по Linux (на основе Debian) для тех, кто только начинает путь в IT
Если вы работали только в Windows, никогда не открывали командную строку и не настраивали серверы - вы именно тот, для которого был написан данный материал
• Вы пройдете путь от первого подключения к серверу по SSH до развёртывания веб-сайта в контейнерах Docker с автоматическим деплоем
Через все главы проходит сквозной проект - настоящий сайт на nginx + PHP-FPM + WordPress, который вы соберёте своими руками: сначала вручную, потом в контейнерах, потом с автоматизацией через CI/CD
• Курс охватывает три части:
• Часть I
➡ Первое знакомство: что такое Linux, подключение по SSH
➡ Файловая система: навигация, работа с файлами и каталогами
➡ Права доступа и владение файлами
➡ Текстовые редакторы: nano, основы vim
➡ Coreutils и конвейеры: обработка текста
➡ Основы bash-скриптов
• Часть II
➡ Управление пакетами (apt), репозитории
➡ Пользователи, группы, sudo
➡ Процессы и сервисы (systemd)
➡ Сеть: ip, ss, firewall, основы DNS
➡ Установка и настройка nginx + PHP-FPM + WordPress
➡ Логирование и мониторинг
• Часть III
➡ Git: основы контроля версий
➡ Docker: контейнеризация проекта
➡ Docker Compose: оркестрация в контейнерах
➡ Базовый CI/CD (GitLab CI)
• Учитывайте, что каждая глава опирается на предыдущие, поэтому читайте последовательно
Читать онлайн
Скачать в формате PDF
P.S. Не забывайте про подборку бесплатного материала для изучения Linux, которая будет полезна не только новичкам, но и опытным специалистам!
S.E. infosec.work VT
Если вы работали только в Windows, никогда не открывали командную строку и не настраивали серверы - вы именно тот, для которого был написан данный материал
• Вы пройдете путь от первого подключения к серверу по SSH до развёртывания веб-сайта в контейнерах Docker с автоматическим деплоем
Через все главы проходит сквозной проект - настоящий сайт на nginx + PHP-FPM + WordPress, который вы соберёте своими руками: сначала вручную, потом в контейнерах, потом с автоматизацией через CI/CD
• Курс охватывает три части:
• Часть I
• Часть II
• Часть III
• Учитывайте, что каждая глава опирается на предыдущие, поэтому читайте последовательно
Читать онлайн
Скачать в формате PDF
P.S. Не забывайте про подборку бесплатного материала для изучения Linux, которая будет полезна не только новичкам, но и опытным специалистам!
S.E. infosec.work VT
Please open Telegram to view this post
VIEW IN TELEGRAM
GitHub
GitHub - strannick-ru/linux-book: Учебный курс для начинающего IT-специалиста, знакомого только с Windows. Траектория обучения:…
Учебный курс для начинающего IT-специалиста, знакомого только с Windows. Траектория обучения: "пользователь Linux → системный администратор → начала DevOps". - strannick-ru/linux-book
Для изучения Bash в нашем канале собрано очень большое кол-во полезного и бесплатного материала!
Сегодня нашу коллекцию пополнит одно фундаментальное руководство от GNU, которое поможет освоить Bash или подтянуть свои знания, если Вы ранее уже приступали к изучению
https://www.gnu.org/software/bash/manual/bash.pdf
Сегодня нашу коллекцию пополнит одно фундаментальное руководство от GNU, которое поможет освоить Bash или подтянуть свои знания, если Вы ранее уже приступали к изучению
https://www.gnu.org/software/bash/manual/bash.pdf
This media is not supported in your browser
VIEW IN TELEGRAM
Новый тип чипа использует свет вместо электронов
Через 5–10 лет умножения матриц, которые сейчас требуют огромной энергии и времени, смогут выполняться почти мгновенно с помощью фотонов, потребляя до 95 % меньше энергии
Силиконовая фотоника — это технология, которая делает это возможным: фотонные чипы могут выполнять тяжёлую матричные вычисления почти мгновенно и использовать гораздо меньше энергии
(следующая глава закона Мура)
Через 5–10 лет умножения матриц, которые сейчас требуют огромной энергии и времени, смогут выполняться почти мгновенно с помощью фотонов, потребляя до 95 % меньше энергии
Силиконовая фотоника — это технология, которая делает это возможным: фотонные чипы могут выполнять тяжёлую матричные вычисления почти мгновенно и использовать гораздо меньше энергии
(следующая глава закона Мура)
Конкурс на новый факультет искусственного интеллекта МГУ составил 127 человек на место
Спектральный радиус и устойчивость
Максимальный модуль собственного значения матрицы определяет, разойдётся ли процесс при итерациях
Если он меньше 1 — система схлопывается в точку
Если больше — взрывается
А если равен 1?
Тогда возможны циклы, колебания и вечное движение по орбите
Именно такие матрицы скрываются в основе цепей Маркова и PageRank Google
Максимальный модуль собственного значения матрицы определяет, разойдётся ли процесс при итерациях
Если он меньше 1 — система схлопывается в точку
Если больше — взрывается
А если равен 1?
Тогда возможны циклы, колебания и вечное движение по орбите
Именно такие матрицы скрываются в основе цепей Маркова и PageRank Google
Жорданова нормальная форма
Не всякая матрица диагонализуема
Но любую можно привести к почти диагональному виду с жордановыми клетками — это как распиловка сложного оператора на простые кирпичики, где на диагонали стоят собственные значения, а над ними — единицы, отвечающие за сдвиги
Без этого не работают ни дифференциальные уравнения, ни квантовая механика
Не всякая матрица диагонализуема
Но любую можно привести к почти диагональному виду с жордановыми клетками — это как распиловка сложного оператора на простые кирпичики, где на диагонали стоят собственные значения, а над ними — единицы, отвечающие за сдвиги
Без этого не работают ни дифференциальные уравнения, ни квантовая механика
Псевдообратная матрица Мура — Пенроуза
Когда система имеет бесконечно много решений или не имеет ни одного, на помощь приходит обобщённое обращение
Оно даёт решение с минимальной нормой среди всех возможных — именно этот метод лежит в основе МНК (метода наименьших квадратов) и всей современной регрессионной статистики
Когда система имеет бесконечно много решений или не имеет ни одного, на помощь приходит обобщённое обращение
Оно даёт решение с минимальной нормой среди всех возможных — именно этот метод лежит в основе МНК (метода наименьших квадратов) и всей современной регрессионной статистики
Число обусловленности
Это не про мораль, а про чувствительность решения к погрешностям в исходных данных
Матрица с большим числом обусловленности (порядка 10¹⁶) превращает малейшую ошибку округления в катастрофу
Такие матрицы называют плохо обусловленными, и с ними боятся работать даже суперкомпьютеры
Это не про мораль, а про чувствительность решения к погрешностям в исходных данных
Матрица с большим числом обусловленности (порядка 10¹⁶) превращает малейшую ошибку округления в катастрофу
Такие матрицы называют плохо обусловленными, и с ними боятся работать даже суперкомпьютеры