AnswersPublished25 sources
Два ШІ-стартапи заявили, що спростували важливу гіпотезу. Але перевірка ще попереду
26 жовтня 2026 року OpenAI заявила про три результати, створені її внутрішніми моделями; невдовзі Anthropic оголосила про власне спростування ETH. OpenAI виклала математичні рукописи й формалізації у Lean, але матеріали з фізики, за повідомленнями, поки не оприлюднені.
ОпублікувавВідредаговано за допомогою GPT-6 LunaЗображення створено за допомогою GPT Image 2
Research answer
Key takeaways
- 26 жовтня 2026 року OpenAI заявила про три результати, створені її внутрішніми моделями; невдовзі Anthropic оголосила про власне спростування ETH.
- OpenAI виклала математичні рукописи й формалізації у Lean, але матеріали з фізики, за повідомленнями, поки не оприлюднені.
- Навіть правильний субекспоненційний алгоритм для 3 SAT сам по собі не доводив би, що P = NP.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI and Anthropic claim their internal AI models achieved on October 26, 2026, and how do these unreviewed claims, their signifi. Article summary: On October 26, 2026, OpenAI claimed that its internal models had produced breakthroughs in harmonic analysis, computational complexity, and quantum field theory; Anthropic announced a competing claimed refutation of the . Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
26 жовтня 2026 року OpenAI заявила, що її внутрішні моделі отримали результати в гармонічному аналізі, теорії обчислювальної складності та квантовій теорії поля. За кілька годин Anthropic оголосила про власний результат, який, за її твердженням, спростовує гіпотезу експоненційного часу (ETH). Якби ці результати підтвердилися, вони мали б значення далеко за межами розробки ШІ. Однак на момент повідомлень незалежної перевірки ще не було. 2
3
7
Що заявила OpenAI
Доведення гіпотези про локальне згладжування. У відкритому репозиторії OpenAI з’явився рукопис Local smoothing for the Euclidean wave equation із формалізацією в Lean — системі для перевірки математичних доказів. У ньому стверджується, що доведено гіпотезу локального згладжування Согге для хвиль у кожній просторовій розмірності від двох і вище. За описом репозиторію, результат також дає гіпотези про максимальні функції Какеї та її розмірність, а ще — оцінки сферичного обмеження Штейна у внутрішній частині очікуваного діапазону. 17 Окреме повідомлення датує гіпотезу Согге 1991 роком.
6
Це не слід трактувати як твердження, що розв’язано всі варіанти гіпотези про обмеження Штейна: заявлений результат стосується саме оцінок у зазначеному діапазоні. 17
Спростування ETH. OpenAI заявила, що її модель спростувала ETH — гіпотезу про обчислювальну складність задач задоволення булевих формул. Компанія зазначила, що на цьому припущенні ґрунтуються численні умовні результати в інформатиці. 13 За повідомленнями, модель отримала результат 16 жовтня, а наступного дня його формалізували в Lean. У репозиторії OpenAI є рукопис під назвою The Exponential Time Hypothesis is False.
17
32
Якщо спростування правильне, це може змінити статус результатів, які спираються на ETH. Але субекспоненційний алгоритм — не те саме, що поліноміальний: наприклад, 2^√n зростає повільніше за експоненту 2^n, але швидше за будь-який фіксований степінь n. Тож навіть правильний алгоритм із часом роботи 2^o(n) для 3-SAT спростував би ETH, але сам по собі не довів би, що P = NP. Ці питання пов’язані, але не тотожні. 13
33
Результат у квантовій теорії поля. OpenAI також заявила про математично строгий доказ існування певних взаємодіючих квантових теорій поля в чотирьох вимірах, зокрема квантової хромодинаміки (КХД). 1 У повідомленнях ідеться саме про існування таких теорій; вони не підтверджують, що розв’язано ширшу задачу тисячоліття Янга—Міллса, зокрема її частину про масову щілину.
1
16
Власна заява Anthropic про ETH
Невдовзі Anthropic представила конкуруюче твердження про спростування ETH. У повідомленні роботу назвали A 2^o(n) Time Algorithm for 3-SAT і приписали Claude. Там само наведено слова математика Anthropic Левента Алпьоге: базовий алгоритм, за його словами, внутрішня дослідницька модель Claude знайшла 16 жовтня «без людського внеску», а згодом дослідники разом із Claude працювали над викладом статті. Це повідомлення про походження роботи, а не незалежне підтвердження доказу. 9
33
Збіг дат привернув увагу: за повідомленнями, обидві лабораторії датували свої основні результати щодо ETH 16 жовтня. 9
32 До запланованої OpenAI зовнішньої перевірки, як повідомлялося, мали долучитися Рассел Імпальяццо, Рамамохан Патурі та Раян Вільямс.
20 Та головне питання — не те, хто оголосив першим, а чи зможуть незалежні фахівці перевірити міркування та підтвердити, що саме вони доводять. На момент публікації повідомлень такої перевірки ще не завершили.
3
5
33
Різні підходи до публікації — і питання прозорості
OpenAI назвала рукописи, створені за допомогою ШІ, «сирими дослідницькими даними»: за задумом компанії, зовнішні науковці мають допомогти перетворити їх на зрозумілі та перевірені наукові результати. 2
11 Математичні рукописи про локальне згладжування та ETH разом із формалізаціями в Lean вона опублікувала у відкритому репозиторії.
17 Натомість, за повідомленнями, матеріали з фізики поки не оприлюднили: група готує власний виклад роботи. Серед залучених зовнішніх експертів називали Девіда Гросса.
11
32
Питання виникали і щодо прозорості попередніх публікацій OpenAI. За переказом AI Edge Briefing, ланцюжок міркувань моделі було оприлюднено лише у 10 з 719 рукописів, а запитаних метаданих у форматі для машинного зчитування, які пов’язували б звичайні тексти з формальними матеріалами, бракувало. 18 Це важливий контекст для розмови про відкритість наукових матеріалів, але саме по собі він не підтверджує всі зауваження до оголошень 26 жовтня.
Найважливіше розрізняти вражаючу наукову заяву і перевірений результат. OpenAI зробила доступними для аналізу два математичні рукописи й формалізації Lean; матеріали з фізики, за повідомленнями, залишилися неопублікованими. Anthropic заявила про альтернативне спростування ETH і описала, як до нього долучилася її модель. Поки зовнішні фахівці не перевірять докази та їхні наслідки, жодне з цих повідомлень не варто вважати усталеним науковим відкриттям. 3
11
17
33
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Два ШІ-стартапи заявили, що спростували важливу гіпотезу. Але перевірка ще попереду"?
26 жовтня 2026 року OpenAI заявила про три результати, створені її внутрішніми моделями; невдовзі Anthropic оголосила про власне спростування ETH.
What are the key points to validate first?
26 жовтня 2026 року OpenAI заявила про три результати, створені її внутрішніми моделями; невдовзі Anthropic оголосила про власне спростування ETH. OpenAI виклала математичні рукописи й формалізації у Lean, але матеріали з фізики, за повідомленнями, поки не оприлюднені.
What should I do next in practice?
Навіть правильний субекспоненційний алгоритм для 3 SAT сам по собі не доводив би, що P = NP.