OpenAI заявила, що її нова reasoning-модель створила оригінальний математичний доказ для спростування однієї з відкритих задач у геометрії, сформульованої математиком Пол Ердеш у 1946 році.
Йдеться про задачу з переліку так званих Erdős problems — математичних гіпотез, які десятиліттями залишалися нерозв’язаними. За словами OpenAI, модель знайшла нову конструкцію, яка показує: підхід, що вважався оптимальним майже 80 років, насправді має кращу альтернативу.
У компанії зазначили, що попередні припущення математиків базувалися на структурах, схожих на квадратні решітки. Нова модель, як стверджує OpenAI, побудувала інший тип конструкцій із кращими результатами.
Тепер OpenAI опублікувала коментарі математиків, які підтримали новий результат. Серед них — Ноґа Алон, Мелані Вуд і Томас Блум. Саме Блум раніше називав попередні заяви OpenAI «серйозним викривленням фактів».
OpenAI також підкреслила, що доказ створила універсальна reasoning-модель, а не вузькоспеціалізована система для математичних задач. У компанії вважають, що це демонструє здатність сучасних ШІ-моделей утримувати довгі логічні ланцюги та поєднувати ідеї з різних сфер.
На думку OpenAI, подібні можливості можуть вплинути не лише на математику, а й на дослідження у фізиці, біології, інженерії та медицині.
Джерело: TechCrunch
