ИИ-сотрудник предложил решение открытой задачи теории групп из Коуровской тетради
ИИ-агент проанализировал сборник открытых задач теории групп «Коуровская тетрадь» и сформировал решение для задачи 20.87 Ши Вуцзе. Полученный результат успешно сверили в GAP со всеми 154 таблицами характеров простых групп без расхождений. Препринт направлен редакторам сборника на проверку, а код проверки выложен в открытый доступ.
Читать в первоисточнике — Хабр ↗
Ещё в ленте
Как составлять понятные спецификации для разработки с AI-агентами
Архитектор решений Алексей Соболеков рассмотрел подходы к формированию понятных спецификаций в агентской разработке. В материале отмечены частые проблемы избыточной детализации и оторванности от контекста системы, мешающие человеку воспринимать архитектурные решения.
Эксперимент: приемы промптинга не улучшили качество решения задач по Python
Автор протестировал шесть популярных приемов промпт-инжиниринга на 30 задачах по Python с участием трех языковых моделей. Ни одна из формулировок, включая указание роли сеньора и пошаговые рассуждения, не показала заметного влияния на процент успешно пройденных тестов. При этом некоторые фразы существенно изменили объем выходных токенов: требование писать тесты увеличило его до 4,4 раз, а запрос только кода сократил на 10–46%.
Правовые последствия внедрения ИИ-агентов в судебную практику и разработку
Верховный суд РФ планирует использовать ИИ для генерации большинства проектов судебных решений с их последующим утверждением без существенных правок. При этом код, созданный автономными агентами, не защищается действующим авторским правом, а доступность технологий упрощает массовую рассылку юридических претензий.
Применение искусственного интеллекта в СВЧ-моделировании
Разработчик протестировала возможности коммерческого ИИ в сфере СВЧ-моделирования. По запросу система сгенерировала полноценный файл с трёхмерной моделью, а также отчёт с таблицами и выводами. Это демонстрирует практические перспективы использования нейросетей в инженерных задачах.