ИИ-модель OpenAI решила задачу Эрдеша, над которой бились 80 лет
«OpenAI заявляет, что ее новая модель рассуждений создала оригинальное математическое доказательство, опровергающее известную нерешенную гипотезу в геометрии, впервые выдвинутую Палом Эрдешем в 1946 году», — такими словами открывается материал techcrunch.
Впрочем, OpenAI не впервые делает подобное заявление. Семь месяцев назад в компании уже говорили об этом. Но тогда оказалось, что GPT-5 не решила задачу самостоятельно, а нашла уже существующие решения — представителям компании даже пришлось удалять соответствующие посты.
Но, похоже, на этот раз все получилось — анонс опубликовали вместе с дополнительными комментариями известных математиков, подтвердивших достоверность решения от ИИ-модели OpenAI. Среди них: Нога Алон, Мелани Вуд и Томас Блум.
«Почти 80 лет математики считали, что наилучшие возможные решения [задачи] выглядят примерно как квадратные сетки. Модель OpenAI опровергла это убеждение, открыв совершенно новое семейство конструкций, которые работают лучше», — пишут в компании.
Гипотеза Эрдеша о различных расстояниях (сформулированная Палом Эрдешем в 1946 году) — это классическая задача в комбинаторной геометрии, которая отвечает на простой вопрос: как близко друг к другу могут располагаться точки, чтобы расстояния между ними не слишком часто повторялись?
Есть о чем рассказать? Пишите в наш телеграм-бот. Это анонимно и быстро
