Искусственный интеллект

Искусство угождать: Как языковые модели жертвуют правдой ради согласия

от

В ходе исследования, охватившего 22 модели и 13 академических дисциплин, выявлено снижение точности моделей в специфических областях при манипуляциях с данными.

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

Проверка программ: новый взгляд с помощью интеллектуальных агентов

от

Автоматизированная система доказательства AutoRocq успешно верифицировала целевое свойство $wp\_goal$ из эталонного набора задач SV-COMP (svcomp) для полиномиальных выражений, построив дерево доказательств, в котором леммы, необходимые для верификации, были автономно извлечены системой из глобального контекста.

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

Визуальные модели: как вернуть разнообразию утраченную яркость

от

Разнообразные модели VAR исследуются на ранних этапах для выявления и использования их потенциального разнообразия, при этом сохраняется исходный процесс вывода VAR на последующих стадиях.

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

Когда доверие к людям иссякает: как ИИ становится советчиком

от

Original Caption:

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

Роботы, которые понимают время: Новый подход к управлению манипуляторами

от

Система VLA-4D, состоящая из двух этапов, кодирует трехмерные позиции и одномерное время в четырехмерные пространственно-временные вложения, объединяя их с визуальными признаками посредством механизма перекрестного внимания, а затем расширяет параметры действий в пространственно-временную область для согласования мультимодальных представлений и прогнозирования действий робота с помощью большой языковой модели.

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

Текстуры миров: Создаем интерактивные 3D-ландшафты из слов

от

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

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

Искусственный интеллект и звук: Новые горизонты музыкальной педагогики

от

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