Connect with us

Hi, what are you looking for?

digiversion.ru

Наука и технологии

Средство поиска новых решений по математике и информатике

Средство поиска новых решений по математике и информатике

Команда ученых-компьютерщиков из проекта Google DeepMind в Великобритании, работающая с коллегой из Университета Висконсин-Мэдисон и еще одним из Лионского университета, разработала компьютерную программу, которая сочетает в себе предварительно обученную модель большого языка (LLM) с автоматизированным «оценщиком»; создавать решения проблем в виде компьютерного кода.

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

Исследователи из научного сообщества обратили внимание на то, что люди делают с LLM, такими как ChatGPT, и многим из них пришло в голову, что LLM можно использовать для ускорения процесса научных открытий. Но они также отметили, что для того, чтобы это произошло, необходим метод, предотвращающий путаницу и ответы, которые кажутся разумными, но неправильными — им нужны результаты, которые можно проверить. Чтобы решить эту проблему, команда, работающая в Великобритании, использовала так называемый автоматизированный оценщик для оценки ответов, данных LLM.

После того как LLM сгенерирует ответ, он отправляется оценщику. Затем эксперт анализирует ответ и отправляет его обратно в LLM с предложениями по улучшению результатов. Этот процесс повторяется несколько раз, и ответ становится все более точным. Исследовательская группа называет свою систему FunSearch (сокращение от функционального поиска в пространстве). Тестируя систему, исследователи обнаружили, что она способна давать проверяемые результаты.

Для дальнейшего тестирования FunSearch исследовательские группы использовали его, чтобы найти новые открытия для так называемой проблемы максимального набора — математической задачи, которая включает в себя обнаружение наибольшего набора точек в многомерной сетке, где никакие три точки не находятся на одной линии. . FunSearch смогла генерировать решения, которые раньше не были найдены — и все это в форме компьютерных программ из-за характера LLM, который они использовали.

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

Средство поиска новых решений по математике и информатике

Теги: IT, ИИ, приложение

В тренде

You May Also Like

Наука и технологии

Корейские исследователи сообщают, что в редких случаях у некоторых пациентов после приступа COVID может развиться аутоиммунное заболевание. Такие состояния, как алопеция ( выпадение волос...

Наука и технологии

По данным Американского журнала рентгенологии ( AJR ) , использование порога 6 мм вместо порога 5 мм помогает облегчить стратификацию риска и принятие решений...

Наука и технологии

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

Наука и технологии

Модель для автоматического определения полярности настроений определенных слов в письменных текстах. В последние годы ученые-компьютерщики пытались разработать эффективные модели для анализа настроений. Эти модели...

Copyright © 2025 Обратная связь info@gototop.ee