Компания OpenAI сообщила, что её новая модель для рассуждений представила оригинальное математическое доказательство, опровергающее известную нерешенную гипотезу в области геометрии. Эта проблема была впервые выдвинута Полом Эрдёшем в 1946 году. Это не первое подобное заявление OpenAI, однако на этот раз результаты выглядят гораздо серьезнее. Об этом сообщает портал Techcrunch.com.
Семь месяцев назад бывший вице-президент компании Кевин Вейл заявлял, что модель GPT-5 нашла ответы на 10 нерешенных задач Эрдёша. Однако позже выяснилось, что модель просто нашла решения, уже существующие в литературе. Эта ошибка вызвала критику со стороны конкурентов, таких как Ян Лекун и глава Google DeepMind Демис Хассабис. В этот раз, чтобы не повторять ошибку, OpenAI подтвердила доказательство в сотрудничестве с известными математиками Ногой Алоном и Томасом Блумом.
«Почти 80 лет математики полагали, что лучшие решения будут похожи на квадратные решетки. Модель OpenAI опровергла это убеждение и открыла совершенно новое семейство конструкций, которые работают более эффективно», — говорится в заявлении компании. Это оценивается как первый случай, когда искусственный интеллект самостоятельно решил центральную проблему в области математики.
OpenAI подчеркивает, что это доказательство было выполнено не специализированной системой для математики, а новой моделью рассуждений общего назначения. Это означает, что способность систем искусственного интеллекта связывать длинные и сложные логические цепочки возросла. Ожидается, что такое достижение позволит совершать новые открытия в биологии, физике, инженерии и медицине в будущем.
Читайте «Zamin» в Telegram!
