Проблема, яка не піддавалася

Гіпотеза Крузей стверджує, що для будь-якої квадратної комплексної матриці A та полінома p, операторна норма ||p(A)|| не перевищує подвоєного максимуму |p| на числовому діапазоні A. Найкращий попередній результат становив 1+√2 (приблизно 2,414) — це було досягнуто на семінарі 2017 року в Американському інституті математики, де провідні фахівці не змогли скоротити розрив до точної константи 2 .

Проблема лежала на перетині теорії матриць і функціонального аналізу в числовому лінійному алгебраї — вузьке, але фундаментальне питання, яке 20 років опиралося зусиллям експертів, які присвятили йому свою кар'єру.

Від УЗД мозку до математичного прориву

Цзінь не планував увійти в історію математики. Він досліджував транскраніальне ультразвукове дослідження — моделював, як ультразвукові хвилі проникають крізь череп, — що привело його до матричного аналізу, а згодом і до гіпотези Крузей . Усю вищу математику він опанував самостійно в рамках досліджень ультразвуку; його бакалаврський ступінь був із геології в Пекінському університеті, а медичний ступінь — в Пекінському університеті. Він не мав формальної освіти з вищої математики .

16-годинний автономний запуск

Цзінь адаптував стратегію промпту, яку OpenAI використовував для розв'язання гіпотези подвійного циклу. Він розробив мультиагентну, змагальну систему з чотирма інструкціями :

1. Робота офлайн: Модель працювала у фізично ізольованому середовищі, що запобігало доступу до існуючих доведень або розв'язків з Інтернету.
2. Паралельне дослідження: Система запускала численні підагенти, які досліджували різні стратегії доведення, запобігаючи передчасній концентрації на одному підході.
3. Змагальний аудит: Кандидатські доведення проходили змагальні перевірки, змушуючи модель знаходити та виправляти власні помилки.
4. Без дострокової зупинки: Системі було наказано не зупинятися, доки повне доведення не пройде всі перевірки.

Цзінь запустив систему та пішов. Приблизно через 16 годин безперервної роботи — протягом яких GPT-5.6-Sol виконав тисячі циклів генерації, перевірки гіпотез, відхилення та перебудови — він отримав повне доведення .

Замість складних оцінок, яких очікували експерти, аргумент використовував ретельну стратегію вибірки, щоб звести проблему до простої умови позитивності . За словами тих, хто його переглянув, це був елегантний і несподіваний підхід.

Перевірка експертами

Числовий аналітик Алекс Таунсенд із Корнелльського університету протягом попереднього року регулярно просив ChatGPT атакувати гіпотезу Крузей, і щоразу спостерігав, як він зупинявся на одній і тій же відсутній лемі . 30 липня 2026 року він запитав знову — але цього разу ChatGPT повернув посилання на препринт, опублікований 27 липня, під назвою "Числовий діапазон є 2-спектральною множиною" .

Таунсенд та Анна Грінбаум з Університету Вашингтона переглянули препринт зі скепсисом. Через кілька годин вони дійшли висновку, що доведення правильне . Сам Мішель Крузей — математик, який 22 роки тому сформулював гіпотезу, — переглянув рукопис і підтвердив його правильність .

Відкритий код та незалежна перевірка

Цзінь оприлюднив весь свій дослідницький конвеєр, розмістивши на GitHub фінальну статтю, точний промпт, усі послідовні ітерації рукопису, формалізацію доведення мовою Lean 4 та аудит аксіом .

Примітно, що через вісім днів після появи препринту Цзіня на arXiv було опубліковано окреме незалежне доведення Еміеля Лоріста та Фелікса Швеннінгера — які також використовували ChatGPT 5.6 для дослідження стратегій — що незалежно підтвердило результат .

Що це означає для ШІ та науки

Історія доведення Цзіня примітна з кількох причин. Вона показує, що неексперт без формальної освіти в певній галузі може, розробивши правильний автономний робочий процес для передової моделі ШІ, зробити справжній внесок у проблему, яка ставила в глухий кут кар'єрних фахівців. Вона також демонструє силу добре спроектованих автономних систем міркування: Цзінь використовував ШІ не як інструмент пошуку або чат-бот — він розробив систему, яка могла досліджувати, перевіряти та вдосконалювати власну роботу протягом багатьох годин без втручання людини .

Проблема не є іграшкою чи головоломкою; це 22-річна відкрита проблема, доведення якої було переглянуте та прийняте математиком, який її сформулював, разом з іншими провідними експертами в цій галузі .

Проблема, яка не піддавалася

Гіпотеза Крузей стверджує, що для будь-якої квадратної комплексної матриці A та полінома p, операторна норма ||p(A)|| не перевищує подвоєного максимуму |p| на числовому діапазоні A. Найкращий попередній результат становив 1+√2 (приблизно 2,414) — це було досягнуто на семінарі 2017 року в Американському інституті математики, де провідні фахівці не змогли скоротити розрив до точної константи 2 .

Проблема лежала на перетині теорії матриць і функціонального аналізу в числовому лінійному алгебраї — вузьке, але фундаментальне питання, яке 20 років опиралося зусиллям експертів, які присвятили йому свою кар'єру.

Від УЗД мозку до математичного прориву

Цзінь не планував увійти в історію математики. Він досліджував транскраніальне ультразвукове дослідження — моделював, як ультразвукові хвилі проникають крізь череп, — що привело його до матричного аналізу, а згодом і до гіпотези Крузей . Усю вищу математику він опанував самостійно в рамках досліджень ультразвуку; його бакалаврський ступінь був із геології в Пекінському університеті, а медичний ступінь — в Пекінському університеті. Він не мав формальної освіти з вищої математики .

16-годинний автономний запуск

Цзінь адаптував стратегію промпту, яку OpenAI використовував для розв'язання гіпотези подвійного циклу. Він розробив мультиагентну, змагальну систему з чотирма інструкціями :

1. Робота офлайн: Модель працювала у фізично ізольованому середовищі, що запобігало доступу до існуючих доведень або розв'язків з Інтернету.
2. Паралельне дослідження: Система запускала численні підагенти, які досліджували різні стратегії доведення, запобігаючи передчасній концентрації на одному підході.
3. Змагальний аудит: Кандидатські доведення проходили змагальні перевірки, змушуючи модель знаходити та виправляти власні помилки.
4. Без дострокової зупинки: Системі було наказано не зупинятися, доки повне доведення не пройде всі перевірки.

Цзінь запустив систему та пішов. Приблизно через 16 годин безперервної роботи — протягом яких GPT-5.6-Sol виконав тисячі циклів генерації, перевірки гіпотез, відхилення та перебудови — він отримав повне доведення .

Замість складних оцінок, яких очікували експерти, аргумент використовував ретельну стратегію вибірки, щоб звести проблему до простої умови позитивності . За словами тих, хто його переглянув, це був елегантний і несподіваний підхід.

Перевірка експертами

Числовий аналітик Алекс Таунсенд із Корнелльського університету протягом попереднього року регулярно просив ChatGPT атакувати гіпотезу Крузей, і щоразу спостерігав, як він зупинявся на одній і тій же відсутній лемі . 30 липня 2026 року він запитав знову — але цього разу ChatGPT повернув посилання на препринт, опублікований 27 липня, під назвою "Числовий діапазон є 2-спектральною множиною" .

Таунсенд та Анна Грінбаум з Університету Вашингтона переглянули препринт зі скепсисом. Через кілька годин вони дійшли висновку, що доведення правильне . Сам Мішель Крузей — математик, який 22 роки тому сформулював гіпотезу, — переглянув рукопис і підтвердив його правильність .

Відкритий код та незалежна перевірка

Цзінь оприлюднив весь свій дослідницький конвеєр, розмістивши на GitHub фінальну статтю, точний промпт, усі послідовні ітерації рукопису, формалізацію доведення мовою Lean 4 та аудит аксіом .

Примітно, що через вісім днів після появи препринту Цзіня на arXiv було опубліковано окреме незалежне доведення Еміеля Лоріста та Фелікса Швеннінгера — які також використовували ChatGPT 5.6 для дослідження стратегій — що незалежно підтвердило результат .

Що це означає для ШІ та науки

Історія доведення Цзіня примітна з кількох причин. Вона показує, що неексперт без формальної освіти в певній галузі може, розробивши правильний автономний робочий процес для передової моделі ШІ, зробити справжній внесок у проблему, яка ставила в глухий кут кар'єрних фахівців. Вона також демонструє силу добре спроектованих автономних систем міркування: Цзінь використовував ШІ не як інструмент пошуку або чат-бот — він розробив систему, яка могла досліджувати, перевіряти та вдосконалювати власну роботу протягом багатьох годин без втручання людини .

Проблема не є іграшкою чи головоломкою; це 22-річна відкрита проблема, доведення якої було переглянуте та прийняте математиком, який її сформулював, разом з іншими провідними експертами в цій галузі .