Искусственный интеллект и ловушки типов в коде

Исследование показывает, что AI-агенты, генерирующие TypeScript, часто допускают ошибки в работе с типами, что потенциально приводит к накоплению технического долга.

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

Новый подход позволяет значительно расширить возможности больших языковых моделей в решении сложных задач, не увеличивая при этом вычислительные затраты.
![Современные методы видеосегментации, представленные, например, архитектурой CAVIS, уступают упрощенному подходу VidEoMT, использующему исключительно энкодер и опирающемуся на возможности предварительно обученных vision foundation models вместо ручной настройки компонентов, что позволяет добиться эффективности благодаря силе масштабного обучения и контекстно-зависимых механизмов [latex]TF[/latex] и [latex]CA[/latex].](https://arxiv.org/html/2602.17807v1/x1.png)
Новый подход позволяет использовать стандартные Vision Transformer модели не только для распознавания изображений, но и для высокоточной сегментации видео и отслеживания объектов во времени.
![Модель ModelSMC, вдохновлённая последовательным Монте-Карло (SMC), итеративно уточняет начальную модель посредством отбора проб с использованием большой языковой модели (LLM) и взвешивания на основе оценки правдоподобия, стремясь к сходимости к неизвестному процессу генерации данных [latex]p(m|{\bm{x}}\_{o})[/latex] в областях высокой плотности, что позволяет автоматизировать обнаружение моделей на основе текстовых формулировок задач и контекстных данных.](https://arxiv.org/html/2602.18266v1/x1.png)
Исследователи предлагают инновационный метод автоматического обнаружения научных моделей, основанный на возможностях больших языковых моделей и принципах вероятностного программирования.

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

Новый подход Koopman-BoxQP позволяет решать задачи нелинейного прогнозирующего управления (NMPC) в реальном времени, открывая возможности для управления высокодинамичными и сложными системами.
Статья предлагает концепцию ‘Операционной Субъектности’ для определения ответственности за действия искусственного интеллекта, не прибегая к наделению ИИ правовым статусом.

Новое исследование показывает, что алгоритмы машинного обучения в материаловедении могут достигать высоких результатов, опираясь на случайные корреляции в данных, а не на реальные свойства материалов.
![Фотонный процессор, представленный в работе, осуществляет матрично-векторное умножение посредством распределения лазерного источника через оптическое дерево, кодирования данных в оптические поля и последующего декодирования, при этом масштабирование и фазовый сдвиг отображений кодера/декодера обеспечивают η-коррекцию ошибок, используя до [latex]2N[/latex] комплексных степеней свободы.](https://arxiv.org/html/2602.18299v1/x1.png)
Исследование предлагает эффективный метод борьбы с ошибками в фотонных процессорах, основанный на калибровке оптических кодировщиков и декодировщиков.