OpenAI за один день заявила про дві події, які ніби належать до різних світів: штучний інтелект нібито спростував одну з ключових гіпотез теорії складності, а паралельно компанія випустила GPT‑6.1 Terra — відносно дешеву модель для рутинної роботи з офісним софтом.
У науковій частині OpenAI повідомляє про три результати: доведення локальної згладжувальної гіпотези в математиці, строгий доказ існування квантової хромодинаміки в фізиці та найгучніше — спростування Exponential Time Hypothesis (ETH) у теорії алгоритмів. Усі ці роботи поки існують у вигляді «сирих» препринтів, а коректність перевіряють незалежні групи вчених.
ETH — це припущення про те, що задача Boolean satisfiability (SAT) принципово вимагає експоненційного часу в найгіршому випадку. На ній тримаються сотні результатів у теорії складності, оптимізації, базах даних та біоінформатиці. Якщо ETH справді хибна, значна частина тверджень формату «швидше зробити неможливо» перетворюється на відкриті питання. OpenAI стверджує, що її система знайшла спростування в жовтні, а формальний довідник Lean крок за кроком перевірив логіку доказу.
Цікава деталь: робочу групу з валідації очолюють, зокрема, Russell Impagliazzo та Ramamohan Paturi — двоє з трьох авторів ETH. Тобто саме співавтори гіпотези зараз розбираються, чи дійсно «робот» її зруйнував. Остаточний вердикт очікують після кількох місяців експертної перевірки та окремої наукової зустрічі, яку фінансує OpenAI.
У той самий день компанія показала GPT‑6.1 Terra — середню модель у своїй лінійці, заточену під «комп’ютерне використання»: перегляд екрана, кліки, введення даних, перемикання між додатками. Terra коштує $1 за мільйон вхідних токенів і $5 за мільйон вихідних — удвічі дешевше за GPT‑6.1 Sol. За внутрішніми тестами OpenAI, Terra значно швидше й ефективніше виконує агентні завдання на кшталт заповнення форм чи перенесення рахунків у бухгалтерську систему.
Незалежні тести дають більш стриману картину: у NerdsChalk Terra виконувала типові веб‑форми приблизно у 1,8 раза швидше за Sol, але найдешевша Luna вже помітно втрачала в точності. Це добре ілюструє загальне правило: маркетингові бенчмарки — це середні цифри, а реальна цінність моделі проявляється на конкретних задачах користувача.
Чому це важливо
Для українського ринку тут одразу два рівні впливу — стратегічний і прикладний.
- Якщо спростування ETH підтвердиться, це змінить фундамент теоретичної інформатики. Частина «меж швидкості» для алгоритмів доведеться переглядати. Для нас це не про завтра, але про довгострокову перспективу: нові класи алгоритмів, ефективніші методи оптимізації, потенційно — швидші інструменти для аналізу даних, логістики, криптографії.
- Факт, що AI генерує перевірювані формальні докази, означає новий інструмент для науковців. Lean та подібні системи стають «ортографічним перевіряльником» для математики й теорії, а моделі типу GPT можуть запропонувати нетривіальні ідеї. Для українських дослідників це сигнал: варто вчитися працювати з proof assistant‑ами й інтегрувати AI у наукові воркфлови.
- Terra — про дуже приземлену автоматизацію. Заповнення форм, перенесення даних між CRM, ERP і бухгалтерією, обробка рахунків — це саме ті задачі, де український бізнес сьогодні витрачає години ручної праці. Terra вже зараз доступна в ChatGPT Work / Codex, тож компанії можуть тестувати сценарії на своїх процесах.
- Не вірити цифрам «на слово». На мій погляд, головний практичний урок із тестів Terra vs Sol — завжди проганяти власні міні‑бенчмарки: взяти реальне завдання (наприклад, 10 рядків у Google Sheets чи форму з 15 полями), прогнати його кілька разів через різні моделі й заміряти час та відсоток безпомилкових запусків. Лише після цього обирати, чи варто економити на дешевшій моделі.
У підсумку маємо цікавий контраст: ті самі системи, які сьогодні заповнюють інвойси у вашій бухгалтерії, завтра можуть брати участь у перегляді базових гіпотез теорії складності. Для українських команд це аргумент не відкладати експерименти з агентами й одночасно критично ставитися до гучних наукових заяв — чекати верифікації, але вже зараз вчитися користуватися новими інструментами.
Джерело: The Neuron (https://www.theneurondaily.com/p/openai-s-big-day-brought-a-disproof-and-terra)