Клініцист-самоучка та 16-годинний сеанс зі штучним інтелектом вирішили одну з відкритих задач прикладної математики
Коротко
Пекінський нейрохірург використав GPT-56, щоб довести 20-річну математичну гіпотезу, що сигналізує про зміну в тому, хто може проводити — і перевіряти — дослідження.
Шаньму Цзінь, постдокторант та нейрохірург-резидент лікарні Пекінського союзного медичного коледжу в Пекіні, довів гіпотезу Крузейкса — проблему матричного аналізу, яка залишалася відкритою понад два десятиліття. Вирішальний аргумент не виник на кафедрі математики: він сплив під час 16-годинного автономного дослідження... GPT-5.6 Соль всередині ChatGPT Режим роботи, керований ретельно розробленою підказкою, яку Джин розробив сам.
Джин дійшов до вирішення проблеми нелінійним шляхом. Його бакалаврська освіта була в галузі геології; пізніше він здобув медичний ступінь і поглибив свої математичні знання завдяки самостійному навчанню, спочатку мотивованому дослідженнями транскраніального ультразвуку. Гіпотеза Крузе, сформульована в 2004 році, стосується зв'язку між спектральною нормою матриці та максимумом полінома в його числовому діапазоні — компактною опуклою областю комплексної площини, яка фіксує більше поведінки матриці, ніж лише її власні значення. Її розв'язання має пряме застосування в аналізі матричних функцій, ітераційних розв'язувачах, таких як GMRES, та раціональних методах Крилова.
Замість того, щоб інтерактивно підказувати модель, Джин запустив розширений автономний сеанс, використовуючи архітектуру підказок, адаптовану з одного OpenAI розроблений для попереднього математичного результату, гіпотези циклічного подвійного покриття. Ця установка позбавляла моделі доступу до Інтернету. Вона розгортала конкуруючих субагентів, яким доручено незалежно розробляти та стрес-тестувати різні стратегії доведення, з чіткими інструкціями проти передчасної збіжності та вимогою фальсифікувати аргументи-кандидати лише за допомогою конкретних контрприкладів. Моделі було наказано продовжувати роботу, доки повне доведення не переживе внутрішню змагальну перевірку. Отриманий препринт, опублікований 27 липня 2026 року, включає повне завдання, послідовні чернетки рукописів, формалізацію Lean та аудит аксіом.
Підтвердження однолітків та питання про те, хто зараз займається математикою
Доказ було переглянуто та підтверджено математиком Корнелльського університету Алексом Таунсендом, числовим аналітиком Енн Грінбаум та самим Мішелем Крузейксом — оригінальним автором гіпотези. Формальне рецензування триває. Через вісім днів після появи першого препринту математики Еміель Лоріст та Фелікс Швеннінгер опублікували незалежний п'ятисторінковий доказ, використовуючи інший метод, поєднуючи класичну теорію потенціалу подвійного шару з лемою збурень для 2-дилатацій. Джин схвалив паралельний результат як доповнення до своєї власної роботи.
Цей епізод демонструє структурний зсув у математичних дослідженнях, який важко ігнорувати. Коли проблема, відкрита з 2004 року, вирішується клініцистом-самоучкою за допомогою інструменту штучного інтелекту для споживачів, бар'єри для отримання нових результатів суттєво зменшуються, а експертиза, необхідна для перевірки цих результатів, відповідно стає більш концентрованою та ціннішою.
Для галузі штучного інтелекту цей випадок пропонує конкретну демонстрацію того, чого можуть досягти моделі на передовій мови, якщо їм надано добре структуровані автономні завдання та достатній обчислювальний час. Чи має математична спільнота інфраструктуру для засвоєння обсягу результатів, які можуть з'явитися в результаті, залишається відкритим питанням.
відмова
Відповідно до Правила проекту Trust, будь ласка, зверніть увагу, що інформація, надана на цій сторінці, не призначена і не повинна тлумачитися як юридична, податкова, інвестиційна, фінансова або будь-яка інша форма консультації. Важливо інвестувати лише те, що ви можете дозволити собі втратити, і звернутися за незалежною фінансовою порадою, якщо у вас виникнуть сумніви. Щоб отримати додаткову інформацію, ми пропонуємо звернутися до положень та умов, а також до сторінок довідки та підтримки, наданих емітентом або рекламодавцем. MetaversePost прагне до точного, неупередженого звітування, але ринкові умови можуть змінюватися без попередження.
про автора
Аліса, відданий журналіст на MPost, спеціалізується на криптовалюті, штучному інтелекті, інвестиціях та широкій сфері Web3. З гострим поглядом на нові тенденції та технології, вона надає всебічне висвітлення, щоб інформувати та залучати читачів до постійно змінюваного ландшафту цифрових фінансів.
інші статті
Аліса, відданий журналіст на MPost, спеціалізується на криптовалюті, штучному інтелекті, інвестиціях та широкій сфері Web3. З гострим поглядом на нові тенденції та технології, вона надає всебічне висвітлення, щоб інформувати та залучати читачів до постійно змінюваного ландшафту цифрових фінансів.
