ИИ OpenAI опроверг 80-летнюю гипотезу Пола Эрдёша

Модель искусственного интеллекта от OpenAI опровергла знаменитую математическую гипотезу, которую величайшие ученые мира не могли решить десятилетиями. Работа группы авторов под руководством Ноги Алона поразила научное сообщество. Профессор Кембриджского университета Тим Гауэрс назвал это событие поворотным моментом в истории компьютерной математики и отметил, что если бы эта работа была написана людьми, она была бы без колебаний опубликована в таком престижном журнале, как Анналс оф Математикс. Об этом сообщает Иксбт.ком .

Речь идет о задаче о единичных расстояниях на плоскости (планар унит дистанке проблем). Великий математик КсКс века Пол Эрдёш считал эту задачу своим самым ярким вкладом в геометрию. Суть проблемы заключается в следующем: какое максимальное количество отрезков одинаковой длины можно провести между произвольными точками на бесконечном листе бумаги? Эрдёш предполагал, что оптимальное решение будет иметь форму квадратной решетки, а количество отрезков будет лишь немногим больше количества точек.

Однако нейросеть OpenAI доказала, что великий математик ошибался: выяснилось, что количество связей на одинаковом расстоянии можно увеличить в несколько раз, размещая точки в менее симметричных, сложных узорах. Для этого решения алгоритм использовал теорию алгебраических чисел. ИИ построил огромные решетки в многомерных пространствах, а затем спроецировал их на двумерную плоскость.

По словам ученого из Манчестерского университета Сэмюэля Мэнсфилда, причина, по которой люди не смогли прийти к этому решению, заключается в том, что геометры обычно не обладают глубокими знаниями в теории чисел. ИИ же продемонстрировал свое превосходство в синтезе различных областей науки. Профессор Бристольского университета Миша Руднев назвал это открытие «настоящей бомбой».

Хотя эта задача Эрдёша считается фундаментальной теорией, ее решение предоставляет новые инструменты для работы с Биг Дата, кристаллографией и сложными сетевыми структурами. Хотя OpenAI пока не раскрыла архитектуру модели, компания подчеркивает, что это важный шаг на пути к общему искусственному интеллекту (AGI).