Нова модель OpenAI розв'язала задачі, над якими вчені билися десятиліттями
OpenAI представила нову модель штучного інтелекту Astra, яка змогла розв’язати десять математичних задач, що залишалися нерозв’язаними від 10 до 40 років. Серед них є проблеми, над якими працювали кілька поколінь науковців.
Про це пише The Decoder.
За інформацією видання, результати Astra охоплюють одразу кілька напрямів математики, зокрема багатовимірну геометрію, теорію кодувань, криптографію та квантову складність.
Одним із найпомітніших досягнень стало спростування гіпотези жорсткості Конна, запропонованої ще у 1980 році. Також модель знайшла нові розв’язки задач Пола Ердьоша та покращила оцінки щільності упаковки сфер, які не змінювалися з 1978 року.
Для перевірки результатів усі математичні докази формалізували мовою Lean 4. Це дозволило машині перевірити кожен логічний крок і підтвердити правильність отриманих висновків.
За словами розробників, Astra не просто генерувала відповіді, а будувала складні логічні міркування. Згодом система допомогла дослідникам оформити результати у наукову працю обсягом 249 сторінок.
В OpenAI також зазначили, що попри успіх моделі, жодну із семи так званих задач тисячоліття їй поки розв’язати не вдалося. Водночас компанія планує продовжити експерименти та вважає Astra важливим кроком до створення повністю автономного ШІ-дослідника.
- Останні
- Популярні
Новини по днях
3 серпня 2026
