Линус Торвальдс: человек, который создал ядро Linux
Линус Торвальдс создал ядро Linux в 1991 году, ставшее основой для тысяч дистрибутивов и доминирующим в суперкомпьютерах. Его работа включала разработку ядра, системы контроля версий Git и участие в управлении сообществом. В биографии упомянуты его ранние интересы к программированию, военная служба и личные факты. Linux продолжает использоваться в широком спектре вычислительных систем, от встроенных устройств до крупных серверов.
#linux #kernel #science_history #code #devtools
Popular science | Просто о науке
Линус Торвальдс создал ядро Linux в 1991 году, ставшее основой для тысяч дистрибутивов и доминирующим в суперкомпьютерах. Его работа включала разработку ядра, системы контроля версий Git и участие в управлении сообществом. В биографии упомянуты его ранние интересы к программированию, военная служба и личные факты. Linux продолжает использоваться в широком спектре вычислительных систем, от встроенных устройств до крупных серверов.
#linux #kernel #science_history #code #devtools
Popular science | Просто о науке
Кластеры и память в LLM
Статья обсуждает современные языковые модели LLM и их отличия от классических представлений об искусственном интеллекте. Также затрагивается тема кластерного анализа и его применения для поиска структуры в неструктурированных данных. Рассматриваются галлюцинации машин и их связь с памятью и кластерами.
#ai_ml #code #devtools #nature #science_history
Popular science | Просто о науке
Статья обсуждает современные языковые модели LLM и их отличия от классических представлений об искусственном интеллекте. Также затрагивается тема кластерного анализа и его применения для поиска структуры в неструктурированных данных. Рассматриваются галлюцинации машин и их связь с памятью и кластерами.
#ai_ml #code #devtools #nature #science_history
Popular science | Просто о науке
👍1
Михаил Застрожин о переходе из академии в индустрию
Михаил Застрожин, врач-психиатр и доктор медицинских наук, основал компанию PGxAI, которая занимается разработкой платформы для персонализированной медицины. Он рассказывает о своем пути из академии в стартап и о том, как глубокая наука может быть применена в коммерческих проектах. Застрожин считает, что стартап не является противником академии, а скорее дополнением к ней, позволяющим исследователям воплотить свои идеи в жизнь. Он также делится своим опытом привлечения финансирования и поиска талантливых сотрудников.
#medicine #science_history #nature #ai_ml #code
Popular science | Просто о науке
Михаил Застрожин, врач-психиатр и доктор медицинских наук, основал компанию PGxAI, которая занимается разработкой платформы для персонализированной медицины. Он рассказывает о своем пути из академии в стартап и о том, как глубокая наука может быть применена в коммерческих проектах. Застрожин считает, что стартап не является противником академии, а скорее дополнением к ней, позволяющим исследователям воплотить свои идеи в жизнь. Он также делится своим опытом привлечения финансирования и поиска талантливых сотрудников.
#medicine #science_history #nature #ai_ml #code
Popular science | Просто о науке
Терри Тао: от Polymath к экспериментальной математике с ИИ и Lean
Известный математик Терри Тао активно продвигает использование искусственного интеллекта и систем формальной верификации в математических исследованиях. Он участвовал в проекте Polymath, который выявил необходимость автоматической проверки доказательств. Тао освоил систему интерактивного доказательства Lean и запустил проект "Equational Theories", используя ИИ для систематизации алгебраических законов. Этот проект демонстрирует потенциал новой "экспериментальной" математики, где технологии дополняют человеческий интеллект для решения масштабных задач.
#ai_ml #code #science_history #devtools
Popular science | Просто о науке
Известный математик Терри Тао активно продвигает использование искусственного интеллекта и систем формальной верификации в математических исследованиях. Он участвовал в проекте Polymath, который выявил необходимость автоматической проверки доказательств. Тао освоил систему интерактивного доказательства Lean и запустил проект "Equational Theories", используя ИИ для систематизации алгебраических законов. Этот проект демонстрирует потенциал новой "экспериментальной" математики, где технологии дополняют человеческий интеллект для решения масштабных задач.
#ai_ml #code #science_history #devtools
Popular science | Просто о науке
🔥1
Ученые Пермского Политеха создали программу для планирования севооборотов
Ученые Пермского Политеха разработали программу для автоматического планирования севооборотов. Система учитывает десятки агрономических правил, включая совместимость культур, сроки возврата на поле, историю участков и влияние пестицидов. Расчеты, ранее занимавшие много времени, теперь выполняются за считанные секунды. Тестирование показало сокращение вариантов для анализа в 20-40 раз и увеличение годовой доходности агрохолдинга на 50%.
#biology #ai_ml #chemistry #code #science_history
Popular science | Просто о науке
Ученые Пермского Политеха разработали программу для автоматического планирования севооборотов. Система учитывает десятки агрономических правил, включая совместимость культур, сроки возврата на поле, историю участков и влияние пестицидов. Расчеты, ранее занимавшие много времени, теперь выполняются за считанные секунды. Тестирование показало сокращение вариантов для анализа в 20-40 раз и увеличение годовой доходности агрохолдинга на 50%.
#biology #ai_ml #chemistry #code #science_history
Popular science | Просто о науке
👍1
Алгоритм ускоряет диагностику газопроводов ЕСГ до минут
Ученые РГУ нефти и газа имени И.М. Губкина разработали алгоритм для ускоренной диагностики газопроводов. Новая система сокращает время обработки данных с внутритрубных дефектоскопов с нескольких часов до минут. Алгоритм автоматизирует расшифровку информации, выделяя сварные соединения на магнитограммах и минимизируя человеческий фактор. В будущем планируется интеграция нейросетевых технологий для прогнозирования рисков и оптимизации обслуживания трубопроводной инфраструктуры.
#ai_ml #code #robotics #hardware #devtools
Popular science | Просто о науке
Ученые РГУ нефти и газа имени И.М. Губкина разработали алгоритм для ускоренной диагностики газопроводов. Новая система сокращает время обработки данных с внутритрубных дефектоскопов с нескольких часов до минут. Алгоритм автоматизирует расшифровку информации, выделяя сварные соединения на магнитограммах и минимизируя человеческий фактор. В будущем планируется интеграция нейросетевых технологий для прогнозирования рисков и оптимизации обслуживания трубопроводной инфраструктуры.
#ai_ml #code #robotics #hardware #devtools
Popular science | Просто о науке
Ивар Максутов и Аш Варданян о буме ИИ и инфраструктуре
Эпизод подкаста «Мыслить как ученый» посвящен обсуждению инфраструктуры ИИ, точности вычислений и систем поиска. Инженер Аш Варданян делится своим мнением о том, почему бум ИИ стал бумом инфраструктуры, и как видеокарты стали сердцем новых вычислений. Он также говорит о необходимости перехода к менее точной, но более эффективной арифметике. Кроме того, обсуждается проект Naukka Talents, целью которого является поиск и найм STEM-специалистов для амбициозных проектов.
#ai_ml #code #devtools #hardware #science_history
Popular science | Просто о науке
Эпизод подкаста «Мыслить как ученый» посвящен обсуждению инфраструктуры ИИ, точности вычислений и систем поиска. Инженер Аш Варданян делится своим мнением о том, почему бум ИИ стал бумом инфраструктуры, и как видеокарты стали сердцем новых вычислений. Он также говорит о необходимости перехода к менее точной, но более эффективной арифметике. Кроме того, обсуждается проект Naukka Talents, целью которого является поиск и найм STEM-специалистов для амбициозных проектов.
#ai_ml #code #devtools #hardware #science_history
Popular science | Просто о науке
Инфраструктура искусственного интеллекта
Статья рассказывает об инфраструктуре искусственного интеллекта и ее важности для развития этой области. Автор описывает, как видеокарты стали основой ИИ, и как арифметика с потерями используется для ускорения вычислений. Также обсуждаются проекты NumKong, USearch и Stringzilla, которые решают проблемы переносимости и эффективности в ИИ. Статья подчеркивает важность открытого кода и инфраструктуры для развития ИИ.
#ai_ml #code #hardware #science_history
Popular science | Просто о науке
Статья рассказывает об инфраструктуре искусственного интеллекта и ее важности для развития этой области. Автор описывает, как видеокарты стали основой ИИ, и как арифметика с потерями используется для ускорения вычислений. Также обсуждаются проекты NumKong, USearch и Stringzilla, которые решают проблемы переносимости и эффективности в ИИ. Статья подчеркивает важность открытого кода и инфраструктуры для развития ИИ.
#ai_ml #code #hardware #science_history
Popular science | Просто о науке
Искусственный интеллект в школе
Искусственный интеллект основан на трех основных концепциях: вероятности, оптимизации и линейной алгебре. Вероятность помогает поставить задачу, оптимизация решает ее, а линейная алгебра делает это вычислительно возможным. Эти концепции используются в различных задачах ИИ, включая обучение моделей и обработку данных. Кроме того, ИИ может быть использован как инструмент для обучения и образования, предоставляя персонализированную и интерактивную среду для изучения.
#ai_ml #code #science_history
Popular science | Просто о науке
Искусственный интеллект основан на трех основных концепциях: вероятности, оптимизации и линейной алгебре. Вероятность помогает поставить задачу, оптимизация решает ее, а линейная алгебра делает это вычислительно возможным. Эти концепции используются в различных задачах ИИ, включая обучение моделей и обработку данных. Кроме того, ИИ может быть использован как инструмент для обучения и образования, предоставляя персонализированную и интерактивную среду для изучения.
#ai_ml #code #science_history
Popular science | Просто о науке
❤1
Математика в основе искусственного интеллекта
Математики играют важную роль в разработке искусственного интеллекта. Фундаментальная математическая подготовка необходима для создания новых алгоритмов и понимания того, как они работают. Дискретная математика, теория вероятностей и статистика, линейная алгебра и математический анализ являются ключевыми областями математики, которые особенно важны для развития искусственного интеллекта. Специалисты с глубокой математической подготовкой необходимы для создания новых подходов и понимания того, как устроены современные алгоритмы.
#ai_ml #code #science_history
Popular science | Просто о науке
Математики играют важную роль в разработке искусственного интеллекта. Фундаментальная математическая подготовка необходима для создания новых алгоритмов и понимания того, как они работают. Дискретная математика, теория вероятностей и статистика, линейная алгебра и математический анализ являются ключевыми областями математики, которые особенно важны для развития искусственного интеллекта. Специалисты с глубокой математической подготовкой необходимы для создания новых подходов и понимания того, как устроены современные алгоритмы.
#ai_ml #code #science_history
Popular science | Просто о науке
👍1
Стохастический вариант метода Франк‑Вульфа ускоряет прогнозирование трафика в 10 раз
Ученые предложили стохастический вариант метода Франк—Вульфа для долгосрочного прогнозирования транспортных потоков. Новый подход использует случайные фрагменты данных, что значительно ускоряет вычисления, особенно для крупных дорожных сетей. Метод, названный SOFW, демонстрирует качество решения, сопоставимое с классическими алгоритмами, при этом работая в десятки раз быстрее. Платой за ускорение является увеличение нагрузки на оперативную память, что считается оправданным на современных вычислительных системах.
#ai_ml #code #physics
Popular science | Просто о науке
Ученые предложили стохастический вариант метода Франк—Вульфа для долгосрочного прогнозирования транспортных потоков. Новый подход использует случайные фрагменты данных, что значительно ускоряет вычисления, особенно для крупных дорожных сетей. Метод, названный SOFW, демонстрирует качество решения, сопоставимое с классическими алгоритмами, при этом работая в десятки раз быстрее. Платой за ускорение является увеличение нагрузки на оперативную память, что считается оправданным на современных вычислительных системах.
#ai_ml #code #physics
Popular science | Просто о науке
Исследования Яндекса на конференции ICML
Исследователи «Яндекса» представили серию научных работ на International Conference on Machine Learning, посвященных эффективному использованию вычислительных ресурсов, ускорению обучения моделей и работе со сложными данными. Они предложили новые программные модули, алгоритмы оптимизации и методы представления числовых признаков. Кроме того, были представлены исследования по управлению свечением углеродных точек, анализу древних звезд Млечного Пути и сканирующей туннельной микроскопии. Эти работы могут быть полезны для разработки более эффективных моделей и систем искусственного интеллекта.
#ai_ml #code #compilers #db #devtools
Popular science | Просто о науке
Исследователи «Яндекса» представили серию научных работ на International Conference on Machine Learning, посвященных эффективному использованию вычислительных ресурсов, ускорению обучения моделей и работе со сложными данными. Они предложили новые программные модули, алгоритмы оптимизации и методы представления числовых признаков. Кроме того, были представлены исследования по управлению свечением углеродных точек, анализу древних звезд Млечного Пути и сканирующей туннельной микроскопии. Эти работы могут быть полезны для разработки более эффективных моделей и систем искусственного интеллекта.
#ai_ml #code #compilers #db #devtools
Popular science | Просто о науке
НИУ ВШЭ: простой метод оценки неопределенности SGD точнее и дешевле
Международная группа исследователей, включая математиков из Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ, разработала простой и вычислительно эффективный метод оценки неопределенности для стохастического градиентного спуска (SGD) в машинном обучении. Этот метод не требует сложных статистических оценок и может быть полезен в областях, где важна не только точность предсказания, но и степень уверенности в нем, таких как медицина, финансы и автономные системы. Новый подход позволяет получать надежные оценки неопределенности быстрее и с меньшими вычислительными затратами.
#ai_ml #code #science_history
Popular science | Просто о науке
Международная группа исследователей, включая математиков из Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ, разработала простой и вычислительно эффективный метод оценки неопределенности для стохастического градиентного спуска (SGD) в машинном обучении. Этот метод не требует сложных статистических оценок и может быть полезен в областях, где важна не только точность предсказания, но и степень уверенности в нем, таких как медицина, финансы и автономные системы. Новый подход позволяет получать надежные оценки неопределенности быстрее и с меньшими вычислительными затратами.
#ai_ml #code #science_history
Popular science | Просто о науке
🔥1
Яндекс решил проблему «катастрофического забывания» голосовых помощников
Исследователи «Яндекса» предложили метод решения проблемы «катастрофического забывания» у голосовых помощников. Новый подход позволяет устройствам изучать новые голосовые команды, не теряя способность распознавать уже известные. Вместо полного переобучения нейросети добавляется небольшой модуль, отвечающий за новые команды. Это требует меньше вычислительных ресурсов и значительно повышает точность распознавания старых команд после обновления.
#ai_ml #robotics #internals #code #embedded
Popular science | Просто о науке
Исследователи «Яндекса» предложили метод решения проблемы «катастрофического забывания» у голосовых помощников. Новый подход позволяет устройствам изучать новые голосовые команды, не теряя способность распознавать уже известные. Вместо полного переобучения нейросети добавляется небольшой модуль, отвечающий за новые команды. Это требует меньше вычислительных ресурсов и значительно повышает точность распознавания старых команд после обновления.
#ai_ml #robotics #internals #code #embedded
Popular science | Просто о науке
❤1
Шаян Овейс Гаран: новый подход к задаче коммивояжера и Abacus Medal
Шайан Овейс Гараан, профессор теоретической информатики, известен своими работами по задаче коммивояжёра и разработкой новых алгоритмов приближения. Он использовал полиномиальные методы и случайный выбор остовных деревьев, что позволило превзойти классический алгоритм Кристофидеса в важных частных случаях. Совместно с коллегами он доказал гипотезу о быстром перемешивании марковских цепей для выборки баз матроид, что открыло новые возможности в теории алгоритмов.
#science_history #ai_ml #code #devtools
Popular science | Просто о науке
Шайан Овейс Гараан, профессор теоретической информатики, известен своими работами по задаче коммивояжёра и разработкой новых алгоритмов приближения. Он использовал полиномиальные методы и случайный выбор остовных деревьев, что позволило превзойти классический алгоритм Кристофидеса в важных частных случаях. Совместно с коллегами он доказал гипотезу о быстром перемешивании марковских цепей для выборки баз матроид, что открыло новые возможности в теории алгоритмов.
#science_history #ai_ml #code #devtools
Popular science | Просто о науке
❤1
Лауреаты Филдсовской и Абакусской медалей 2026 года: истории математиков
Объявлены лауреаты медалей Филдса и Абакуса 2026 года, вручаемых раз в четыре года выдающимся математикам и специалистам в области теоретической информатики в возрасте до 40 лет. Среди награжденных — Хонг Ванг за прорывное доказательство, Джейкоб Цимерман за решение гипотезы Андре-Оорта, Джон Пардон за работу по симплектической геометрии и Ю Денг за исследования проблемы случайных данных. Медаль Абакуса присуждена Шаяну Овейсу Гарану за применение математических методов в информатике, включая задачу коммивояжера. Эти награды отмечают значительные достижения, формирующие будущее науки.
#physics #ai_ml #code #science_history
Popular science | Просто о науке
Объявлены лауреаты медалей Филдса и Абакуса 2026 года, вручаемых раз в четыре года выдающимся математикам и специалистам в области теоретической информатики в возрасте до 40 лет. Среди награжденных — Хонг Ванг за прорывное доказательство, Джейкоб Цимерман за решение гипотезы Андре-Оорта, Джон Пардон за работу по симплектической геометрии и Ю Денг за исследования проблемы случайных данных. Медаль Абакуса присуждена Шаяну Овейсу Гарану за применение математических методов в информатике, включая задачу коммивояжера. Эти награды отмечают значительные достижения, формирующие будущее науки.
#physics #ai_ml #code #science_history
Popular science | Просто о науке
❤1
В России разработали метод предсказания RTT с использованием машинного обучения
Разработан адаптивный метод предсказания времени приема-передачи пакетов (RTT) в интернет-сетях. Система заменяет классический алгоритм Джейкобсона моделью случайного леса, которая учитывает историю измерений, число хопов и пропускную способность. Для борьбы с дрейфом данных интегрирован детектор ADWIN, инициирующий переобучение модели при изменении условий сети. Тесты показали значительное снижение ошибки MAPE по сравнению со стандартными методами.
#ai_ml #protocols #code
Popular science | Просто о науке
Разработан адаптивный метод предсказания времени приема-передачи пакетов (RTT) в интернет-сетях. Система заменяет классический алгоритм Джейкобсона моделью случайного леса, которая учитывает историю измерений, число хопов и пропускную способность. Для борьбы с дрейфом данных интегрирован детектор ADWIN, инициирующий переобучение модели при изменении условий сети. Тесты показали значительное снижение ошибки MAPE по сравнению со стандартными методами.
#ai_ml #protocols #code
Popular science | Просто о науке
👍1
Комлошская гипотеза: доказательство нового предела
Исследователи Хаотян Цзян и Бхаван Бансал представили алгоритмический подход, который почти достигает постоянного верхнего предела дискретного несоответствия, предсказанного гипотезой Комлоса. Новый результат уменьшает зависимость от размерности до почти константного уровня, что является самым значительным прогрессом за последние три десятилетия. Работа демонстрирует, как методы теоретической информатики могут продвинуть открытые математические проблемы. Возможные применения обсуждаются в областях оптимизации, физики и машинного обучения.
#science_history #ai_ml #code
Popular science | Просто о науке
Исследователи Хаотян Цзян и Бхаван Бансал представили алгоритмический подход, который почти достигает постоянного верхнего предела дискретного несоответствия, предсказанного гипотезой Комлоса. Новый результат уменьшает зависимость от размерности до почти константного уровня, что является самым значительным прогрессом за последние три десятилетия. Работа демонстрирует, как методы теоретической информатики могут продвинуть открытые математические проблемы. Возможные применения обсуждаются в областях оптимизации, физики и машинного обучения.
#science_history #ai_ml #code
Popular science | Просто о науке
❤1
Математики доказали достаточность двух деревьев для оптимальных сетей связи
Математики из России доказали, что для построения оптимальной сети связи на плоскости достаточно наложить лишь две базовые схемы маршрутов‑дерева, а не три, как считалось ранее. Это теоретическое открытие позволяет сократить объём памяти и ускорить работу алгоритмов маршрутизации в сетевых устройствах и распределённых базах данных. Алгоритм использует правильное распределение зон ответственности между двумя деревьями, обеспечивая короткие пути для любой пары точек. Результат опубликован в сборнике трудов Симпозиума SIAM по дискретным алгоритмам.
#code #db #devtools #science_history
Popular science | Просто о науке
Математики из России доказали, что для построения оптимальной сети связи на плоскости достаточно наложить лишь две базовые схемы маршрутов‑дерева, а не три, как считалось ранее. Это теоретическое открытие позволяет сократить объём памяти и ускорить работу алгоритмов маршрутизации в сетевых устройствах и распределённых базах данных. Алгоритм использует правильное распределение зон ответственности между двумя деревьями, обеспечивая короткие пути для любой пары точек. Результат опубликован в сборнике трудов Симпозиума SIAM по дискретным алгоритмам.
#code #db #devtools #science_history
Popular science | Просто о науке
❤1👍1
Alice AI Search Pretrain от Яндекса в открытом доступе
«Яндекс» опубликовал в открытом доступе компактную языковую модель Alice AI Search Pretrain, содержащую 35 млрд параметров, но использующую лишь около 600 млн параметров при генерации токена. Модель сочетает гибридную архитектуру Encoder‑Decoder и Mixture of Experts, что позволяет экономить вычислительные ресурсы без потери качества ответов. В тестах по русскому языку она превзошла другие компактные модели и достигла сопоставимых результатов с крупными моделями при значительно меньших затратах.
#ai_ml #science_history #code
Popular science | Просто о науке
«Яндекс» опубликовал в открытом доступе компактную языковую модель Alice AI Search Pretrain, содержащую 35 млрд параметров, но использующую лишь около 600 млн параметров при генерации токена. Модель сочетает гибридную архитектуру Encoder‑Decoder и Mixture of Experts, что позволяет экономить вычислительные ресурсы без потери качества ответов. В тестах по русскому языку она превзошла другие компактные модели и достигла сопоставимых результатов с крупными моделями при значительно меньших затратах.
#ai_ml #science_history #code
Popular science | Просто о науке