Новая модель компании OpenAI решила десять сложных научных задач
Компания OpenAI, являющаяся одной из ведущих мировых организаций в области технологий искусственного интеллекта, представила широкой публике новое поколение моделей под названием Astra. Об этом сообщает One.uz.
В ходе внутренних испытаний данная система успешно решила десять чрезвычайно сложных открытых задач в области математики и теоретической информатики, решение которых ожидалось на протяжении многих лет. Как отмечают представители компании, мировые ученые не менее десяти лет, а в некоторых случаях и дольше, вели бесплодные исследования над этими научными проблемами.
Модель Astra нашла неожиданные решения в таких направлениях, как многомерная геометрия, теория кодирования, теория групп, сложность квантовых вычислений, решеточная криптография и экстремальная комбинаторика. В частности, система впервые успешно построила несобственную группу, опровергла гипотезу о жесткости Конна и доказала квантовую теорему о параллельном повторении.
Кроме того, модели удалось улучшить общую верхнюю границу плотности сферической упаковки, которая оставалась неизменной с 1978 года, а также доказать гипотезу Эрхарта об объеме. Научные достижения и методы исследований В заявлении OpenAI отмечается, что все математические доказательства и логические выводы были разработаны искусственным интеллектом абсолютно независимо.
После завершения всех вычислений исследователи оформили полученные результаты в виде научных статей. Система Astra предоставила все доказательства на формальном языке верификации Lean, который позволяет автоматически проверять математическую корректность каждого приведенного доказательства.
Интересно, что финансовые ресурсы, затраченные на поиск этих сложных научных решений, составили относительно небольшую сумму. Согласно данным компании, на вычислительные мощности было потрачено около 2000 долларов.
В настоящее время OpenAI опубликовал полное описание всех сертификатов и процессов логических рассуждений, что открывает новые возможности для научного сообщества. Авторские права и будущие задачи Несмотря на серьезные достижения модели Astra в области математики, она пока не смогла решить семь самых известных задач из списка «Проблем тысячелетия».
За каждую из этих задач назначена премия в один миллион долларов, и они по-прежнему ждут своего решения. Тем не менее, эксперты оценивают достигнутые результаты как огромный шаг в развитии способности искусственного интеллекта к логическому мышлению.
OpenAI также отдельно остановился на вопросе авторства. Отмечается, что если математические доказательства были созданы искусственным интеллектом в полном объеме, то приписывать такие результаты людям было бы несправедливо.
Исследователи занимались лишь переносом готовых решений на бумагу и их оформлением, тогда как основные научные открытия были сделаны непосредственно моделью Astra. Теперь эти доказательства должны быть тщательно проверены мировым научным сообществом.
