ИИ-агент доказал больше 30 новых теорем в математической оптимизации
Компьютерра ·
Источник: Компьютерра - Журнал о науке и технологиях Ученые Института AIRI вместе с коллегой из Вьетнама создали открытый фреймворк LongTails. Он позволяет ИИ формулировать новые задачи математической оптимизации, придумывать методы их решения и строго доказывать результаты. Такие методы лежат в основе обучения нейросетей и используются в инженерии, логистике, энергетике, химии и физике. С помощью LongTails исследователи уже получили и формализовали около 100 теорем. […] Полная версия статьи: ИИ-агент доказал больше 30 новых теорем в математической оптимизации