Российские ученые создали ИИ, который доказывает теоремы в разы быстрее математиков
Российские ученые из Института AIRI вместе с вьетнамским студентом Куок Вьетом разработали платформу LongTails, которая сама формулирует задачи математической оптимизации, подбирает методы их решения и формально доказывает результаты. На одну теорему ИИ тратит от трех до семи часов — в разы быстрее, чем профессионалы. Эту информацию сообщает сайт Известия.
С помощью системы уже отработано около 100 теорем. В 50 случаях ИИ показал, что алгоритмы могут работать быстрее и точнее, чем считалось ранее, а 35 результатов оказались настолько уникальными, что по ним готовят статьи для международных журналов. Руководитель научной группы AIRI Александр Тюрин признался, что фреймворк за пару дней доказал больше, чем он за всю карьеру.
Главный риск платформы — не ошибки в доказательствах, а возможность получить корректный ответ на неправильно поставленную задачу. По словам советника практики интеллектуальной собственности ЮК «ЭБР» Ольги Яшиной, если ошибка заложена на этапе формулировки, безупречное доказательство подтверждает неверный результат, поэтому ответственность остается на исследователе.
Эксперты сходятся во мнении, что ИИ не заменит математиков, но изменит их работу. Как отметил ведущий разработчик MWS AI Cowork Егор Старовойтов, ситуация напоминает появление калькуляторов: часть ручной работы исчезнет, но профессия сохранится. Специалисту придется научиться ставить задачи перед ИИ и проверять результаты.
