Категории в Формальной Логике: Испытание для Искусственного Интеллекта
Новый набор задач LeanCat позволяет оценить возможности современных моделей искусственного интеллекта в области формального доказательства теорем и абстрактного мышления.
Денис Аветисян
Последовательности без границ: Новый подход к моделированию длинных рядов
![В исследовании сравнивается среднее расстояние перемешивания между моделями Mamba и MS-SSM на наборе данных ListOps, при этом метрика [latex]d(m,L)[/latex], определенная в уравнении (6), усредняется по всем каналам и слоям модели для оценки эффективности переноса информации.](https://arxiv.org/html/2512.23824v1/FigureTable/mean_mixing_distance_ListOps.jpg)
В статье представлена модель MS-SSM, позволяющая эффективно обрабатывать и анализировать последовательности данных любой длины.
Радиомика и рак легких: новый словарь для «понимающего» ИИ
Исследователи разработали словарь, связывающий количественные признаки изображений с клиническими категориями Lung-RADS, чтобы сделать решения искусственного интеллекта в диагностике рака легких более прозрачными и надежными.
Локальные приближения глобального гамильтониана: новый взгляд на квантовую теорию поля
![Евклидов модулярный поток [latex]\Delta W^{\alpha}[/latex] осуществляет вращение на угол α вокруг точки x=0, после чего обратное преобразование [latex]\Delta W(a)^{-\alpha}[/latex] возвращает к исходной позиции, вращая вокруг x=a, формируя евклидову полосу шириной [latex]a\sin(2\pi\alpha)[/latex] и смещая конечную точку [latex]W(0)[/latex] в направлении [latex]x^{1}[/latex] на величину [latex]a\sin(2\pi\alpha)[/latex], дополненную трансляцией [latex]a(1-\cos(2\pi\alpha))[/latex].](https://arxiv.org/html/2512.25062v1/x1.png)
В статье предлагается локальный регулятор для квантовой теории поля, основанный на включении алгебр, позволяющий реконструировать глобальный гамильтониан и исследовать явления запутанности и хаоса.
Пространственное мышление нейросетей: от основ к планированию
![В рамках предложенной схемы обучения модель [latex]Qwen-Instruct[/latex] последовательно совершенствуется: сначала, посредством тонкой настройки на наборе данных Building Block, она осваивает базовые пространственные преобразования - трансляцию, масштабирование и вращение, формируя промежуточную модель [latex]Qwen-Physics[/latex], а затем, с использованием алгоритма GRPO и LoRA-адаптеров в замкнутом цикле обучения, приобретает навыки многошагового пространственного рассуждения и планирования, что приводит к созданию финальной модели [latex]Qwen-PhysRL[/latex].](https://arxiv.org/html/2512.24532v1/x1.png)
Новый подход позволяет большим языковым моделям решать сложные задачи, требующие многошагового пространственного рассуждения и планирования действий.
Потоки данных и причинность: новый подход к машинному обучению
Исследователи представляют DataFlow — фреймворк, объединяющий пакетную и потоковую обработку данных временных рядов с акцентом на воспроизводимость и производительность.
Солитоны под прицелом: от классики к нейросетям
Новое исследование сравнивает традиционные численные методы с подходами на основе нейронных сетей для моделирования профилей солитонных волн.
Скрытые паттерны дискриминации: как выявить и объяснить
![ГиFairFramework представляет собой основу, предназначенную для обеспечения справедливости в алгоритмах машинного обучения, основанную на концепции [latex] \mathcal{F} [/latex]-дискриминации, которая формально определяет расхождения в распределениях результатов для различных групп, позволяя количественно оценить и минимизировать несправедливость.](https://arxiv.org/html/2512.23769v1/Figures/HyFair.png)
Новое исследование предлагает комплексный подход к обнаружению систематических нарушений справедливости в нейронных сетях, выходящий за рамки индивидуальных случаев.
Очарование в огненном вихре: Динамика очарованных кварков в столкновениях тяжелых ионов
![Наблюдается зависимость скорости рождения очаровательно-антиочаровательных кварков [latex]R_{c\bar{c}}(\tau)[/latex] от времени, при которой сценарии с [latex]N_f = 2+1[/latex] (очаровательные кварки рассматриваются как тяжелые примеси постоянной массы) и [latex]N_f = 2+1+1[/latex] (термализованные очаровательные квази-кварки) демонстрируют различные темпы, причем переход через псевдокритическую температуру [latex]T_c = 155 \text{ MeV}[/latex] в сценариях идеального течения Бьоркэна (сплошная линия) и вязкой среды, расширяющейся в (2+1)D (пунктирная линия), определяет моменты времени, характеризующие фазовый переход.](https://arxiv.org/html/2512.23825v1/x7.png)
В статье исследуется поведение очарованных кварков в экстремальных условиях кварк-глюонной плазмы, возникающей при столкновениях тяжелых ионов.
Самоуправляемые потоки данных в облаке: новый уровень контроля
В статье рассматривается концепция автономного управления потоками обработки данных в облачных средах, обеспечивающая повышение надежности и снижение затрат.