OpenAI подтвердила, что её новая модель рассуждений решила геометрическую задачу, поставленную Полом Эрдёшем в 1946 году. Вызов, известный как проблема расстояния Эрдёша, десятилетиями не поддавался математикам. Решение было найдено при применении паттернов, не основанных на традиционных сетках, — подход, который никто не исследовал глубоко.
Как ИИ сломала шаблон классической геометрии 🧠
Модель OpenAI проанализировала геометрические конфигурации, которые избегали сетчатой структуры, считавшейся до сих пор основой оптимальных решений. С помощью обучения с подкреплением и поиска нелинейных паттернов ИИ определила расположение точек, максимизирующее минимальные расстояния. Результат не только решает проблему, но и предлагает проверяемое доказательство — то, чего математики-люди не смогли добиться почти за столетие.
Эрдёш переворачивается в гробу (и просит GPU) 🤖
Самое забавное, что Эрдёш, известный решением задач с другими людьми, теперь получает помощь от машины. Венгерский математик обычно просил кофе и амфетамины для работы; сегодня ему понадобился бы доступ к облачным серверам. Тем временем живые математики спорят, является ли это достижением или признаком того, что им следовало бы больше играть в Minecraft, чтобы тренировать свою пространственную интуицию.