Искусственный интеллект на службе формальной спецификации ПО

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

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

Оптимизация SciML: Путь к Быстрому Обучению Научных Моделей

На примере логистической регрессии, представленные результаты демонстрируют, что адаптивные методы первого порядка превосходят стохастический градиентный спуск, что указывает на их эффективность в решении задач оптимизации, описанных в разделе 4.2.

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

Искусственный интеллект как генератор научных идей: новый взгляд

Исследование демонстрирует, что сложные системы искусственного интеллекта способны предлагать действительно новые и перспективные направления для научных исследований.

Ожившие цифровые двойники: генерация реалистичных видео с людьми в реальном времени

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

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

Искусственный интеллект и астрономия: что значит понимать?

Новая эра в астрономических исследованиях, основанная на искусственном интеллекте, ставит под вопрос традиционные представления о научном познании и требует философского осмысления.

Квантовый расчёт химии: новый подход к сложным молекулам

Исследователи успешно применили гибридные квантовые алгоритмы для точного моделирования электронного строения комплекса пиридина и иона лития, открывая путь к решению задач, недоступных классическим вычислениям.

3D-Сцены без обучения: новый взгляд на понимание пространства

Разработанная система OpenVoxel строит воксельное групповое поле [latex]\mathcal{F}_{1:N}[/latex] на основе сегментационных масок [latex]M_{1:K}[/latex], полученных из предварительно обученной разреженной воксельной модели [latex]V_{1:N}[/latex] и соответствующих камерных позиций [latex]\xi_{1:K}[/latex], что позволяет рендерить изображения и маски для всех групп, конструировать карту сцены [latex]SS[/latex], кодирующую их положение и подписи, и, в конечном итоге, выполнять сложные задачи сегментации, такие как сегментация по текстовому запросу, посредством уточнения запроса и поиска по тексту в карте [latex]SS[/latex].

Исследователи представили OpenVoxel — систему, способную группировать и описывать трехмерные сцены, используя только воксельную геометрию и возможности больших языковых моделей.

Цена объяснений: сложность поиска альтернативных сценариев в машинном обучении

Нейронная сеть с одним скрытым слоем, функционирующая как регрессор [latex]h(\cdot)[/latex], используется для сведения задачи 3-SAT к задаче WACHTER-CFE (определение 2), при этом дизъюнкция [latex]\neg x\_{1}\vee x\_{2}\vee\neg x\_{3}[/latex] представляет собой клаузу в КНФ-формуле, определяющей экземпляр 3-SAT, а связи без указанного веса в схеме имеют вес 1.

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