Учёные ВМК МГУ предложили новый подход к формальной верификации нейросетевых моделей

Учёные ВМК МГУ предложили новый подход к формальной верификации нейросетевых моделей

Представители факультета ВМК МГУ имени М.В. Ломоносова разработали и протестировали подход к формальной верификации...
Читать далее...

21:40, 13.01.2026
 
Рубрика: «Интернет и Игры»   Поделиться: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

Ученые РФ предложили новый подход к борьбе с фиброзом печени и рубцамиУченые РФ предложили новый подход к борьбе с фиброзом печени и рубцами Ученые выявили положительные результаты наблюдения за пациентами, принимавшими пептиды, полученные из мяса животных, рыбы и птицы. ...

Новый подход DeepSeek снижает потери ресурсов при обучении ИИ-моделейНовый подход DeepSeek снижает потери ресурсов при обучении ИИ-моделей Обучение крупных ИИ-моделей сегодня стало одной из главных проблем современной вычислительной отрасли — и дело не только в сложности, но и в колоссальных затратах, энергопотреблении и неэффективном использовании ресурсов. ...

Сбер выложил в открытый доступ линейку передовых российских нейросетевых моделей«Сбер» выложил в открытый доступ линейку передовых российских нейросетевых моделей «Сбер» объявил об открытии весов двух новый флагманских MoE-моделей в линейке GigaChat — Ultra-Preview и Lightning — созданных... ...

Учёные предложили новый способ поиска экзолун размером с ЗемлюУчёные предложили новый способ поиска экзолун размером с Землю Учёные из Европейской южной обсерватории (ESO) предложили новый метод поиска экзолун — спутников, вращающихся вокруг планет за пределами Солнечной системы. Авторы новой работы утверждают, что отсутствие обнаруженных экзолун связано не с их отсутствием, а с недостатками существующих технологий. ...

Планете предложили сесть на диету // Ученые разработали новый рацион для всего человечестваПланете предложили сесть на диету // Ученые разработали новый рацион для всего человечества Международная группа экспертов в области питания разработала «планетарную диету». Ученые предложили перестроить сельскохозяйственную отрасль и торговые потоки таким образом, чтобы человечество стало питаться в основном растительной пищей, рыбой и курицей. Потребление красного мяса, соли и сахара пре ...

Стартап MyHair AI хочет изменить подход к диагностике облысения с помощью собственных ИИ-моделейСтартап MyHair AI хочет изменить подход к диагностике облысения с помощью собственных ИИ-моделей Для Сирьяка Лефора идея создания MyHair AI появилась два года назад. Француз по происхождению, он находился в нью-йоркской парикмахерской, когда мастер, делая обычную стрижку, неожиданно сказал ему: «Ты начинаешь терять волосы». Лефору тогда было 32 года. «Он не сказал этого моему дру ...

Ученые Сеченовского Университета предложили новый взгляд на классификацию рака почки с помощью искусственного интеллектаУченые Сеченовского Университета предложили новый взгляд на классификацию рака почки с помощью искусственного интеллекта Ученые из Института регенеративной медицины Сеченовского Университета разработали систему на основе искусственного... ...

Ученые МГУ и ФИЦ ИУ РАН предложили новый метод для распознавания малоразмерных объектов на аэрокосмических снимках в условиях ограниченных наборов даУченые МГУ и ФИЦ ИУ РАН предложили новый метод для распознавания малоразмерных объектов на аэрокосмических снимках в условиях ограниченных наборов данных Представители НОШ «Мозг, когнитивные системы, искусственный интеллект» ВМК МГУ имени М.В. Ломоносова и сотрудники... ...

Ученые сократили время предобучения языковых моделей на 50%Ученые сократили время предобучения языковых моделей на 50% Исследователи из Университета Ватерлоо представили метод, который значительно ускоряет и удешевляет создание больших языковых моделей (LLM). Разработка может сделать мощные инструменты искусственного интеллекта (ИИ) доступнее для широкого круга пользователей. Технология под названием SubTrack++ сокр ...

Квантовый подход снизил нагрузку на ИИ-сети  учёные из политеха ВирджинииКвантовый подход снизил нагрузку на ИИ-сети — учёные из политеха Вирджинии В архитектуре современных распределенных вычислений существует узкое место, которое становится все более критичным по мере роста сложности задач. Речь идет о коммуникационных расходах. Когда группе автономных устройств — будь то серверный кластер, рой промышленных роботов или сеть сенсоров — необход ...

Новый подход к обучению разработан в УГНТУНовый подход к обучению разработан в УГНТУ Именно на это направлены новые образовательные методики, разработанные сотрудниками Уфимской высшей школы экономики и управления в Уфимском государственном нефтяном техническом университете: они учат понимать взаимосвязи, видеть проблему и искать собственные пути её решения. В УГНТУ недавно завершил ...

Новый подход связал квантовую физику и гравитациюНовый подход связал квантовую физику и гравитацию Ученые из Венского технического университета предложили новый способ взглянуть на одну из самых трудных проблем физики — попытку объединить квантовую механику и общую теорию относительности. Если пространство-время действительно ... ...

Новый подход упрощает визуализацию реалистичных 3D-средНовый подход упрощает визуализацию реалистичных 3D-сред Новый подход упрощает визуализацию реалистичных 3D-сред на основе обычных фотографий, уже размещенных в интернете, открывая новые возможности в таких отраслях, как игровая индустрия, виртуальный туризм и сохранение культурного наследия. Хадар Авербух-Элор, доцент Корнеллского технологического инстит ...

Найден новый подход к лечению тяжелой эпилепсииНайден новый подход к лечению тяжелой эпилепсии Удаление стареющих клеток мозга может значительно снижать частоту судорог и улучшать когнитивные функции при височной эпилепсии. Это доказали ученые из Медицинского центра Джорджтаунского университета. Результаты исследования опубликованы ... ...

Российский ученый разработал новый подход к взаимодействию ИИ-агентовРоссийский ученый разработал новый подход к взаимодействию ИИ-агентов Российский ученый, Борис Крюк, совместно с коллегами разработал новый подход к взаимодействию ИИ-агентов, который... ...

Новый подход к мониторингу инфраструктуры: парадигма непрерывной ИТ-поддержкиНовый подход к мониторингу инфраструктуры: парадигма непрерывной ИТ-поддержки ИТ-ландшафт крупной компании — это не просто оборудование, а целый слой, включающий сети, серверы, виртуальные сервисы и множество внутренних информационных систем. За целостное отображение состояния отвечает зонтичный мониторинг, а при сбоях на первый план выходит ИТ-поддержка: получает заявки в IT ...

Из Meta* уйдёт главный специалист по ИИ и создаст новый подход к ИИИз Meta* уйдёт главный специалист по ИИ и создаст новый подход к ИИ Янн Лекун, главный специалист по ИИ в Meta*, готовится покинуть компанию, сообщают несколько источников СМИ. Лекун, один из ведущих учёных в области искусственного интеллекта, критикует современные большие языковые модели (LLM) и считает, что они не приведут к созданию настоящего AGI. Он предлагает ...

Airloom покажет новый подход к ветровой энергетике на CES 2026Airloom покажет новый подход к ветровой энергетике на CES 2026 Компания Airloom представит на CES 2026 свою новую конструкцию для ветровой генерации электроэнергии. Разработка может быть применена для обеспечения электроэнергией дата-центров, которые требуют все больше ресурсов на фоне роста популярности ИИ. ...

Налоговый дайджест за октябрь: новый подход к штрафам и расширение камеральных проверокНалоговый дайджест за октябрь: новый подход к штрафам и расширение камеральных проверок С 1 января 2026 года в России вступят в силу поправки, которые ограничат снижение налоговых штрафов максимум в десять раз. Это законодательное закрепление практики, на которой ФНС настояла еще летом 2025 года, когда начала применять новую методику расчета смягчающих обстоятельств и отказалась от пре ...

ГК Солар запатентовала новый подход к защите веб-сервисов от ботов и вредоносного трафикаГК «Солар» запатентовала новый подход к защите веб-сервисов от ботов и вредоносного трафика Специалисты ГК «Солар», архитектора комплексной кибербезопасности, получили патент на уникальную технологию... ...

Новый подход: WhatsApp* ввел авторизацию через электронную почту для россиянНовый подход: WhatsApp* ввел авторизацию через электронную почту для россиян Мессенджер WhatsApp* вслед за Telegram ввел для россиян авторизацию через электронную почту. Об этом сообщили российские пользователи, получившие уведомление от платформы. «Подтвердить по электронной почте. Используйте электронную почту для входа в аккаунт или его восстановления», &mdash ...

Минфин России внедряет новый подход в рамках проекта Государство для людейМинфин России внедряет новый подход в рамках проекта «Государство для людей» В 2025 году федеральный проект «Государство для людей» продолжает набирать обороты, став одной из ключевых инициатив по модернизации системы государственного управления. Основная цель проекта — сделать государственные услуги максимально доступными и удобными для граждан, а также повысить эффективнос ...

Врачи-новаторы: Москва создает новый подход в развитии медицинских технологийВрачи-новаторы: Москва создает новый подход в развитии медицинских технологий За три года в столице сформировалась особая экосистема развития технологий в сфере здравоохранения. Ее основой стал Медтех — связующее звено между наукой и практической медициной. ...

МОК отменил Олимпийские киберспортивные игры в Саудовской Аравии, но пообещал разработать новый подходМОК отменил Олимпийские киберспортивные игры в Саудовской Аравии, но пообещал разработать «новый подход» Анонсированные прошлым летом Олимпийские киберспортивные игры (ОКИ) не состоятся. Международный олимпийский комитет (МОК) объявил о расторжении соглашения с Олимпийским комитетом Саудовской Аравии (ОКСА). ...

Samsung старается изо всех сил: финальная One UI 8 вышла уже для 54 моделей смартфонов Galaxy и 8 моделей планшетовSamsung старается изо всех сил: финальная One UI 8 вышла уже для 54 моделей смартфонов Galaxy и 8 моделей планшетов Распространение финальной версии прошивки One UI 8 стартовало чуть больше месяца назад. Тогда же Samsung опубликовала план распространения, в соответствии с которым апдейт в сентябре должны были получить только аппараты линейки Galaxy S25. В реальности же уже в сентябре обновление вышло для гораздо ...

Haval Jolion, BAIC X7 и ещё восемь моделей: в России насчитали 10 моделей китайских кроссоверов по цене до 2 млн рублейHaval Jolion, BAIC X7 и ещё восемь моделей: в России насчитали 10 моделей китайских кроссоверов по цене до 2 млн рублей Ресурс «Автоновости дня» на основе актуальных прайс-листов составил перечень десяти моделей самых доступных китайских кроссоверов в России — ценой до 2 млн рублей. Фото: Haval На первом месте рейтинга Livan X3 Pro — компактная модель с 1,5-литровым мотором (103 л.с.), вариато ...

Представлен новый метод обучения ИИ-моделей для более точного прогнозирования поведения клиентовПредставлен новый метод обучения ИИ-моделей для более точного прогнозирования поведения клиентов Ученые из Центра практического искусственного интеллекта Сбербанка разработали новый фреймворк для обучения... ...

Эксперты: новый утильсбор приведёт к подорожанию авто и уходу ряда моделей с рынкаЭксперты: новый утильсбор приведёт к подорожанию авто и уходу ряда моделей с рынка В России меняют методику расчёта утилизационного сбора. Минпромторг предложил новую систему, и хотя официально её хотят ввести с декабря 2025 года, эксперты уверены: реально она заработает не раньше января 2026-го. Что изменится Теперь размер утильсбора будут считать по мощности двигателя и типу сил ...

Более 10 тыс. заявок подали на конкурс нейросетевых проектов Креативное поколениеБолее 10 тыс. заявок подали на конкурс нейросетевых проектов "Креативное поколение" На всероссийский конкурс нейросетевых проектов "Креативное поколение" поступило свыше 10 тыс. регистраций от участников из 50 регионов страны. Об этом сообщили организаторы. Отмечается, что прием заявок и проектов продлится до 9 ... ...

Ученые предложили лечить глухоту виагройУченые предложили лечить глухоту виагрой Выяснилось, что вещество из "мужских" БАДов помогает восстановить передачу нервных сигналов в клетках. ...

Учёные предложили услышать биения гравитационных волнУчёные предложили «услышать» биения гравитационных волн Пульсары — это нейтронные звёзды, которые излучают радиосигналы с определенной регулярностью, словно «космические часы». Учёные используют их, чтобы исследовать пространство-время и искать следы гравитационных волн — крошечных ряби, идущих по Вселенной. Но как их искать? В 2023 году международные гр ...

Ученые предложили неожиданный способ для строительства на МарсеУченые предложили неожиданный способ для строительства на Марсе Человечество давно мечтает о жизни вне Земли — и Марс все чаще рассматривают как наш следующий дом. Но условия на Красной планете так суровы, что везти стройматериалы с Земли слишком дорого и невыгодно. Международная команда ученых ... ...

Ученые предложили новые источники питания для россиянУченые предложили новые источники питания для россиян Учёные раскрывают, из чего будут делать хлеб для Арктики и какие новые виды рыб могут стать нашими главными блюдами. Читайте о будущем российского питания! ...

Учёные предложили новую формулу расчёта возраста собакиУчёные предложили новую формулу расчёта возраста собаки Возраст собаки часто пытаются перевести в "человеческие годы", чтобы лучше понимать, на каком жизненном этапе находится питомец. Долгое время в ходу была простая формула "умножить на семь", но она плохо отражает реальную скорость старения. Новая работа предлагает более точный подход, основанный на б ...

Ученые предложили связать дроны при ЧС с помощью квантовой запутанностиУченые предложили связать дроны при ЧС с помощью квантовой запутанности Американские ученые предложили использовать квантовую запутанность для организации связи между беспилотниками в условиях чрезвычайных ситуаций, когда недоступны интернет, мобильная связь и радиоканалы. Идея была разработана исследователями из Virginia Tech и направлена на повышение устойчивости рабо ...

Ученые предложили неочевидную теорию внеземного происхождения жизни на ЗемлеУченые предложили неочевидную теорию внеземного происхождения жизни на Земле Жизнь на Земле могла возникнуть не на нашей планете, а быть занесенной с Марса метеоритами. ...

Российские ученые предложили добывать энергию из горячих пород ЗемлиРоссийские ученые предложили добывать энергию из горячих пород Земли Российские учёные разработали концепцию добычи тепла из пород на глубине от 10 до 25 километров. По их мнению, этот источник энергии может стать практически неисчерпаемым. Технология предполагает бурение с помощью миллиметрового СВЧ-излучения. Первый участок скважины проходят обычным способом. Далее ...

Ученые из Перми предложили бороться с гололедом с помощью токсичных отходовУченые из Перми предложили бороться с гололедом с помощью токсичных отходов Новая разработка предлагает использовать осадок, образующийся при нейтрализации кислых шахтных вод из заброшенных угольных шахт... ...

Учёные предложили способ манипулировать гравитационными волнами с помощью светаУчёные предложили способ манипулировать гравитационными волнами с помощью света Немецкий физик Герхард Шуцхольд (Ralf Schutzhold) разработал концепцию эксперимента, в котором свет и гравитационные волны обмениваются энергией, что открывает возможность для управления гравитационными волнами. Суть метода заключается в стимуляции испускания или поглощения гравитонов – гипоте ...

Российские учёные предложили стерилизовать умные имплантаты бета-излучениемРоссийские учёные предложили стерилизовать «умные» имплантаты бета-излучением Российские исследователи провели эксперименты, подтвердившие эффективность и безопасность бета-излучения для стерилизации сложных многослойных имплантатов с антибиотиками и противораковыми препаратами. Об этом сообщает научный портал Indicator. Учёные отметили, что высокие дозы радиации не повреждаю ...

Российские учёные предложили делать экспресс-исследования грунтов во время буренияРоссийские учёные предложили делать экспресс-исследования грунтов во время бурения Специалисты из Института нефтегазовой геологии и геофизики имени А.А. Трофимука разработали инновационный метод быстрого и удобного анализа грунта. В отличие от традиционного подхода, который требует отправки образцов в лабораторию, новая технология позволяет проводить измерения керна непосредственн ...

Томские ученые предложили способ безопасной блокировки лишнего тока в электросетиТомские ученые предложили способ безопасной блокировки «лишнего» тока в электросети Ученые Томского политехнического университета вместе с коллегами разработали новую архитектуру и алгоритм управления... ...

ITFB Group представила новый релиз ITFB EasyDoc 4.0 с расширенными возможностями обучения моделей ИИITFB Group представила новый релиз ITFB EasyDoc 4.0 с расширенными возможностями обучения моделей ИИ Компания ITFB Group объявила о выпуске ITFB EasyDoc 4.0 — нового релиза интеллектуальной платформы извлечения, анализа и... ...

Капитану Локомотива не предложили новый контрактКапитану "Локомотива" не предложили новый контракт Полузащитник московского "Локомотива" Дмитрий Баринов заявил, что клуб не предложил ему новый контракт, передает "Чемпионат". "Конечно, я знаю об интересе ЦСКА. Сейчас я нахожусь на медосмотре с ... ...

На Украине предложили новый налог с доходов для военныхНа Украине предложили новый налог с доходов для военных Украинский депутат предложил ввести дополнительный налог с доходов граждан для формирования депозитов военнослужащим. Об этом заявил народный депутат Украины Роман Костенко, передает "Страна.ua". По его задумке, налог в размере ... ...

В ЕС предложили новый способ хищения российских активовВ ЕС предложили новый способ хищения российских активов Европейский союз (ЕС) изучает возможность разработки особого механизма, который позволит пользоваться замороженными российскими активами. Об этом сообщила британская газета Financial Times. План подразумевает под собой перевод средств в отдельную юридическую структуру за пределами Бельгии для регуля ...

В ОП предложили ввести мораторий на повышение цен на алкоголь в Новый годВ ОП предложили ввести мораторий на повышение цен на алкоголь в Новый год Мораторий на повышение цен на алкоголь надо ввести перед Новым годом и в течение зимних каникул. Такое мнение высказал ТАСС заместитель секретаря Общественной палаты (ОП) РФ Владислав Гриб. «Нужен мораторий на повышение цен на алкоголь с 15 декабря по 15 января», — сказал ...

На повышение цен на алкоголь в Новый год предложили ввести мораторийНа повышение цен на алкоголь в Новый год предложили ввести мораторий Торговые сети злоупотребляют пиком спроса на спиртное в праздники, заявил заместитель секретаря Общественной палаты Владислав Гриб ...

В России предложили новый метод изучения здоровья сердцаВ России предложили новый метод изучения здоровья сердца Сотрудники Института теоретической и экспериментальной биофизики РАН, Института биофизики клетки РАН и других научных организаций разработали рекомендации для изучения состава титина — крупнейшего известного белка — в сердечной мышце. Его молекулы могут достигать длины более 1 мкм, а масса — 3000−40 ...

В России предложили новый способ обучения ИИ логическим рассуждениямВ России предложили новый способ обучения ИИ логическим рассуждениям Исследователи из Лаборатории искусственного интеллекта T-Bank AI Research разработали новый подход к обучению больших языковых моделей. Метод развивает способность к логическим рассуждениям без дорогостоящего изменения миллионов параметров модели. Вместо перестройки всей архитектуры ИИ ученые предло ...

В ПНИПУ предложили новый способ очистки кислых шахтных вод от металловВ ПНИПУ предложили новый способ очистки кислых шахтных вод от металлов Инновационную и экологичную технологию очистки кислых шахтных вод, которая при этом позволит получать из этих отходов ценные металлы для промышленности и удобрение для сельского хозяйства, разработали ученые Пермского национального исследовательского политехнического университета (ПНИПУ), 29 октября ...

В Госдуме предложили новый вычет на детские товары и уход за детьмиВ Госдуме предложили новый вычет на детские товары и уход за детьми Депутаты ЛДПР во главе с Леонидом Слуцким предложили ввести в России новый социальный налоговый вычет для семей с детьми младше трех лет. Соответствующий документ имеется в распоряжении РИА Новости. Законопроект предусматривает ... ...

Объявлены устаревшими 11 методов верификации доменов для TLS-сертификатовОбъявлены устаревшими 11 методов верификации доменов для TLS-сертификатов Ассоциация CA/Browser Forum, выступающая площадкой для совместного принятия решений с учётом интересов производителей браузеров и удостоверяющих центров, утвердила новые требования к организациям, выдающим сертификаты для HTTPS. В новых требованиях объявлены устаревшими 11 методов проверки владения ...

В России ввели систему верификации приютов и зооволонтеровВ России ввели систему верификации приютов и зооволонтеров Это откроет новые возможности для зоозащитников и поможет создать более безопасную среду для животных ...

Рувики запретила редактировать статьи пользователям без верификации«Рувики» запретила редактировать статьи пользователям без верификации С 1 января вносить правки в статьи онлайн-энциклопедии «Рувики» могут только верифицированные пользователи. Об этом сообщил первый зампред комитета Госдумы по информполитике Антон Горелкин («Единая Россия»). ...

Авито вводит систему верификации приютов и зооволонтеровАвито вводит систему верификации приютов и зооволонтеров Пройти бесплатную верификацию могут некоммерческие организации (НКО) и фонды, частные приюты, зооволонтеры и ветеринарные клиники. Для этого необходимо заполнить анкету на сайте Авито, указать данные приюта или волонтера, приложить необходимые документы, а также фото‑ и видеоматериалы из приюта и сс ...

МТС ID для бизнеса автоматизировала процесс верификации в сервисе Финсеть.рф«МТС ID для бизнеса» автоматизировала процесс верификации в сервисе «Финсеть.рф» МТС сообщила о запуске совместного проекта с сервисом «Финсеть.рф» — решением для быстрого старта продаж товаров... ...

Авито внедрил систему верификации приютов и зооволонтеров«Авито» внедрил систему верификации приютов и зооволонтеров На сервисе «Авито» появилась система верификации фондов и зооволонтеров. После верификации участники получат бейдж «Проверенный приют» или «Проверенный зооволонтер», который будет действовать в течение года ...

Путин подписал закон о расширении полномочий ЦБ по верификации данныхПутин подписал закон о расширении полномочий ЦБ по верификации данных Регулятор сможет идентифицировать физические лица при формировании и проверке кредитных историй ...

Роскомнадзор пожаловался на медленные темпы верификации иностранных абонентовРоскомнадзор пожаловался на медленные темпы верификации иностранных абонентов Роскомнадзор недоволен тем, что операторы связи «не спешат» блокировать иностранных абонентов, не прошедших обязательную биометрическую идентификацию. Об этом заявил замглавы ведомства Олег Терляков на форуме «Спектр-2025». ...

ECHOMSK.SPB.RU Поиск в новостях