Внутрішня модель OpenAI розв’язала три відкриті задачі з математики, теоретичної інформатики та фізики
Заявлений прорив охоплює спростування ETH, докази для гіпотез Какэя й Штейна в усіх розмірностях, а також результати про існування теорії Янга-Міллса та повної КХД.
Внутрішня модель OpenAI нібито розв’язала три відкриті задачі з математики, теоретичної інформатики та фізики.
Серед них — спростування гіпотези експоненціального часу (ETH): ключового припущення в теорії обчислювальної складності, пов’язаного з проблемою тисячоліття P ≠ NP.
ETH стверджує, що задачу виконувальності булевих формул не можна розв’язати значно швидше за повний перебір. Десятиліттями це припущення використовували як фундамент для результатів у теорії графів, обчислювальній біології, базах даних, геометрії та інших галузях.
На ETH спираються сотні робіт. Якщо гіпотеза хибна, питання на кшталт «наскільки швидше ще можна розв’язати ці задачі» відкриваються заново.
Результат настільки значущий, що перевіряти його буде група на чолі з Расселом Імпальязо та Раманомоханом Патурі — ученими, які сформулювали ETH. OpenAI також обіцяє оплатити конференцію для осмислення результату.
Дві інші задачі також помітні:
- Гіпотеза Какэя та локальне згладжування. Мова про хвилі, які фокусуються в одній точці. Гіпотеза Согга 1991 року стверджує, що найпотужніше фокусування не може тривати довго. З неї випливають гіпотеза Какэя та гіпотеза Штейна про обмеження.
Це одна з центральних задач гармонічного аналізу. Над нею десятиліттями працювали найсильніші математики, але раніше докази існували лише для малих розмірностей (двох або трьох). Модель OpenAI нібито видала доказ для будь-якої розмірності й автоматично закрила гіпотези Какэя та Штейна для всіх розмірностей.
- Існування КХД та теорії Янга-Міллса. Модель нібито строго довела існування теорії Янга-Міллса. Це частина однієї з семи задач тисячоліття. Також заявлено про існування повної КХД, де до глюонів додані кварки, та об’єднаної теорії, що включає частинки Стандартної моделі. Результат розбере група на чолі з нобелевським лауреатом Девідом Гроссом.
Відбувається щось надзвичайне.
Чому це важливо
АналітикаЯкщо результат підтвердять, він може змінити фундаментальні межі складності алгоритмів, відкрити нові дослідницькі програми в гармонічному аналізі та переосмислити статус деяких задач тисячоліття.
Обговорити новину у спільноті
Діліться своїм досвідом та думками з ШІ-розробниками
Пов'язані матеріали екосистеми
Практичні гайди, термінологія та агентські скіли
OpenAI представила чотири наукові результати, отримані експериментальною ШІ-моделлю
Експериментальна модель OpenAI, недоступна широкому загалу, допомогла отримати докази у математиці, інформатиці, фізиці та теорії Янга — Міллса.
OpenAI представила GPT-6.1 Terra: майже рівень Sol, удвічі дешевше та швидший кодинг
Нова ШІ-модель GPT-6.1 Terra майже наздоганяє GPT-6.1 Sol у бенчмарках, але вдвічі дешевша, з фокусом на розумінні зображень, роботі з комп’ютером і природнішому тексті.
OpenAI GPT (Флагманські моделі серії GPT)
Головна універсальна лінійка великих мовних моделей від OpenAI (GPT-4, GPT-4o). Оптимізована для складного текстового аналізу, програмування, творчості та щоденної інтелектуальної роботи.
LLM (Large Language Model - Велика мовна модель)
Фундаментальний клас нейромережевих архітектур на базі авторегресійного трансформера, що передбачає ймовірнісний розподіл наступних токенів і демонструє емерджентні властивості абстрактного мислення, синтезу коду та логічного висновку.
Частина I. Архітектура ШІ-агентів: фундаментальні блоки
Десять фундаментальних блоків сучасного агента: таксономія моделей, рантайм-петля, техніки промптингу, дистиляція, навички (skills), пам'ять, function calling та юніт-економіка.
Частина II. Архітектура ШІ-агентів: від моделі до пам'яті та інструментів
Глибоке інженерне занурення: токенізація, KV-кеш, детермінізм семплінгу, тренувальний стек, квантування, контекстна інженерія, стек безпеки, виробничий RAG, ReAct та мультиагентні swarm-системи.