Изкуственият интелект на OpenAI реши 80-годишната задача на Ердеш

Компанията OpenAI твърди, че новият ѝ AI модел за разсъждения е позволил да се получи оригинално математическо доказателство, опровергаващо известна нерешена хипотеза в геометрията, изказана за първи път от изтъкнатия математик Пол Ердьош през 1946 гoдина. Задачата оставаше нерешена в продължение на почти 80 години.

Дълги години научната общност смяташе, че най-добрите варианти за решаване на този проблем се свеждат до структури, подобни на квадратни мрежи. Изкуственият интелект обаче успя да опровергае това убеждение, като откри напълно ново семейство конструкции с по-висока ефективност.

Представители на OpenAI подчертаха, че това е първият случай, в който AI самостоятелно е решил отворен проблем, който е от централно значение за математиката. При това доказателството е било получено с помощта на AI модел за общо предназначение, а не на специализирана система, създадена изключително за точните науки.

Настоящият успех беше предшестван от инцидент, случил се преди седем месеца, когато бившият вицепрезидент на компанията Кевин Уейл побърза да обяви, че AI моделът GPT-5 е решил наведнъж десет задачи на Ердеш. Тогава се оказа, че алгоритъмът е намерил само вече съществуващи в литературата отговори, след което последваха подигравки от страна на специалисти и конкуренти, включително известния учен в областта на информатиката Ян Лекун и главния изпълнителен директор на Google DeepMind Демис Хасабис. Вейл изтри публикацията си, а математикът Томас Блум, който поддържа уебсайт с задачите на Ердеш нарече тези твърдения „драматично изопачаване на фактите“.

Този път разработчиците взеха предвид миналите грешки и публикуваха съобщението заедно с придружаващи коментари от известни математици, потвърдили достоверността на опровержението. Сред тях са: Нога Алон, Мелани Ууд и самият Томас Блум. Според последния, изкуственият интелект вече помага на хората да изследват по-пълно математическите концепции, изграждани векове наред.

В OpenAI считат това постижение за знаково, тъй като то показа способността на съвременните AI системи да запазват дълги и сложни вериги от логически изводи. Освен това алгоритмите се научиха да свързват идеи от различни области по начини, които изследователите преди това можеха да пропускат.

Това постижение има значение за биологията, физиката, инженерството и медицината.

„AI ни помага да изследваме по-добре математиката, която сме изграждали в продължение на векове. Какви ли още невиждани чудеса чакат своето откриване?“

се казва в изявлението на Блум