AnswersPublished25 sources
Гіпотеза, відкрита з 2008 року: PSI каже, що її ШІ-система знайшла доведення
6 листопада 2026 року PSI повідомила, що її дослідницька система з непублічною моделлю Anthropic знайшла доведення гіпотези Ааронсона—Амбайніса на третій день роботи. Гіпотеза стосується кількості звернень до вхідних даних, потрібних квантовим алгоритмам на більшості випадкових входів, а не всіх можливих переваг ква...
ОпублікувавВідредаговано за допомогою GPT-6 LunaЗображення створено за допомогою GPT Image 2
Research answer
Key takeaways
- 6 листопада 2026 року PSI повідомила, що її дослідницька система з непублічною моделлю Anthropic знайшла доведення гіпотези Ааронсона—Амбайніса на третій день роботи.
- Гіпотеза стосується кількості звернень до вхідних даних, потрібних квантовим алгоритмам на більшості випадкових входів, а не всіх можливих переваг квантових комп’ютерів.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did physics-focused AI startup Physical Superintelligence (PSI) announce on November 6 about its research system using an undisclosed,. Article summary: On November 6, 2026, Physical Superintelligence (PSI) announced that its internal research system, using a non-public Anthropic model, had found a proof of the Aaronson–Ambainis conjecture, open since 2008, and released . Topic tags: general, general web, user generated. 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 fak
6 листопада 2026 року компанія Physical Superintelligence (PSI) оголосила, що її внутрішня дослідницька система знайшла доведення гіпотези Ааронсона—Амбайніса — задачі з теорії квантової складності, відкритої з 2008 року. У системі використовували непублічну модель Anthropic, назву якої PSI не розкрила. Компанія оприлюднила статтю та формалізацію доведення в Lean 4; за її словами, Lean перевірив формальний доказ. Журнал іще не провів рецензування роботи. 6
7
13
15
Що повідомила PSI
За даними компанії, повне доведення система отримала на третій день роботи на інфраструктурі PSI. Після цього вона досліджувала пов’язані задачі й двічі покращила результат. У доступних повідомленнях не наведено послідовних меж і недостатньо деталей, щоб відтворити міркування системи крок за кроком. 5
11
14
Роботу очолив Девід Туртуреан, технічний співробітник PSI, який також розробив дослідницьку систему. За повідомленнями, він визначив задачу, попросив систему підготувати чернетку, перевірив її та зазначений як відповідальний за правильність статті. 1
7 Радник PSI Джим Галверсон, як повідомляється, перевірив доведення, а радниця Фіала Шенан обговорювала роль формалізації в Lean.
34
36
Яку саме модель Anthropic використали, невідомо. PSI описує її лише як непублічну модель. Наявні джерела не встановлюють, як саме Anthropic брала участь у роботі, і не підтверджують, що компанія незалежно схвалила результат. 6
15
Що стверджує гіпотеза
У формулюванні, оприлюдненому разом із доведенням, ідеться про дійсний многочлен степеня не вище d, значення якого на булевому кубі лежать між нулем і одиницею. Якщо дисперсія цього многочлена не менша за ε, то принаймні одна змінна має помітний вплив. Репозиторій PSI наводить для цього впливу нижню межу (ε/d)^7, а також сильнішу оцінку. 41
Простіше кажучи, обмежений многочлен невисокого степеня не може істотно змінюватися, водночас майже зовсім не залежачи від кожної окремої змінної. Значення для квантових обчислень стосується складності за запитами — кількості разів, коли алгоритм звертається до вхідних даних. Заявлений наслідок такий: для задач із відповіддю «так» або «ні» на більшості рівномірно випадкових входів класичний алгоритм може наблизити ймовірність прийняття відповіді квантовим алгоритмом, не роблячи експоненційно більше звернень до входу. 4
Це не означає, що класичні комп’ютери завжди можуть ефективно відтворити квантові за загальним часом обчислень. Обмеження кількості звернень до вхідних даних саме по собі не визначає, скільки обчислень алгоритм виконує між ними. Ідеться також не про те, що квантові комп’ютери взагалі не можуть мати практичних переваг. 4
16
Що підтверджує Lean — і чого не підтверджує
PSI опублікувала математичну статтю та формалізацію доведення в Lean 4. Lean — це асистент доведень: він перевіряє, чи випливає формальний аргумент із визначень і припущень, закодованих у формалізації. У репозиторії також наведено записи перевірок, виконаних під час підготовки публікації. 10
21
41
Це вагомий доказ того, що формалізоване доведення внутрішньо узгоджене. Але перевірка Lean не знімає питання, чи точно формальне твердження відповідає початковій гіпотезі. Машинна перевірка, математичне тлумачення фахівцями та рецензування журналом — пов’язані, але не тотожні етапи. Тож обережне формулювання наразі таке: PSI заявила про важливе доведення й оприлюднила його машинно перевірювану формалізацію, але незалежна наукова оцінка ще має значення. 15
41
Публічні повідомлення підтверджують заявлену хронологію, опубліковану формалізацію та прийняття доказу Lean, але не дають достатньо деталей, щоб перевірити конкретний опис того, як доведення розвиває попередні роботи або використовує попарне зіставлення налаштувань входу через визначник. Виводити цей технічний підхід лише з анонсу не варто.
Що ще належить з’ясувати
Оголошення про доведення не відповідає на запитання, яку саме модель використали, якою була участь Anthropic і чи провели зовнішні дослідники докладну перевірку. Найближчим важливим етапом буде незалежний розгляд і формального доказу, і його відповідності гіпотезі в початковому формулюванні. 6
15
Поки що висновок має дві частини: PSI зробила помітну заяву й оприлюднила формалізацію, яку можна перевірити за допомогою комп’ютера; водночас незалежна оцінка потрібна, перш ніж вважати питання остаточно закритим.
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 "Гіпотеза, відкрита з 2008 року: PSI каже, що її ШІ-система знайшла доведення"?
6 листопада 2026 року PSI повідомила, що її дослідницька система з непублічною моделлю Anthropic знайшла доведення гіпотези Ааронсона—Амбайніса на третій день роботи.
What are the key points to validate first?
6 листопада 2026 року PSI повідомила, що її дослідницька система з непублічною моделлю Anthropic знайшла доведення гіпотези Ааронсона—Амбайніса на третій день роботи. Гіпотеза стосується кількості звернень до вхідних даних, потрібних квантовим алгоритмам на більшості випадкових входів, а не всіх можливих переваг квантових комп’ютерів.