Нейрохирург опубликовал доказательство гипотезы Круазе

Матрицы помогают описывать сложные преобразования: от обработки изображений до моделирования физических процессов. Одна из важных нерешённых задач этой области — гипотеза Круазе, сформулированная в 2004 году.

Пекинский нейрохирург и математик-самоучка Шаньму Цзинь столкнулся с ней, когда работал над задачей, связанной с ультразвуковым исследованием мозга. В результате он опубликовал препринт с доказательством гипотезы.

Если говорить упрощённо, задача определяет предел того, насколько сильно функция от матрицы может увеличивать результат. Предполагаемый универсальный коэффициент равен двум.

Цзинь использовал ChatGPT 5.6 в 16-часовом автономном режиме, а затем выложил рукопись, промпты, формализацию на языке Lean и аудит аксиом. Вскоре появилось и независимое доказательство той же гипотезы.

История показывает, насколько важны в математике точная постановка вопроса и возможность проверить каждое звено доказательства.

Удивил такой союз медицины, математики и ИИ — ставьте 😲