Прорив у математиці: ШІ від OpenAI розв’язав задачу, над якою думали майже 80 років
- Ярослава Несисюк
- 1 день тому
- Читати 2 хв
OpenAI повідомила, що одна з її внутрішніх ШІ-моделей самостійно розв’язала математичну проблему, поставлену угорським математиком Полом Ердешем ще у 1946 році.
Що це за задача і чому вона важлива
Проблема називається «задачею про одиничні відстані». Її суть дуже проста: якщо розмістити багато точок на площині, скільки пар точок можуть бути на відстані рівно 1 одна від одної?
На перший погляд це виглядає як шкільна геометрія. Але саме такі задачі часто виявляються надзвичайно складними.
Протягом десятиліть математики вважали, що найкраще рішення — це розташування точок у вигляді квадратної сітки. Сам Ердеш припускав, що суттєво покращити цей результат неможливо.
Модель OpenAI довела протилежне. Вона побудувала новий спосіб розміщення точок, який дає значно більше пар із однаковою відстанню. Причому ШІ не просто підібрав випадковий приклад, а створив повноцінний математичний доказ.
Головне відкриття полягає в тому, що для задачі, яку десятиліттями вважали геометричною, ШІ використав дуже глибокі інструменти з іншої галузі — алгебраїчної теорії чисел.
Це розділ математики, який вивчає складні числові структури та властивості чисел у розширених системах. Для математиків стало несподіванкою, що ці методи взагалі можуть допомогти у геометрії.
Чому це вважають великим проривом для ШІ
OpenAI наголошує, що модель не створювали спеціально для цієї задачі. Це була універсальна ШІ-модель для складного міркування, яку тестували на складних математичних проблемах Ердеша.
У певний момент система самостійно запропонувала доказ, який пізніше перевірили люди.
«Жодне попереднє дослідження, створене ШІ, навіть близько не підходило до цього рівня», — заявив лауреат Філдсівської премії Тім Гауерс.
Для OpenAI це також демонстрація того, що ШІ поступово переходить від простого генерування тексту до повноцінної дослідницької роботи. У компанії вважають, що подібні системи в майбутньому допомагатимуть не лише в математиці, а й у біології, медицині, фізиці та інженерії.
