💡 Нейрохирург с помощью ChatGPT решил математическую задачу, которую не могли доказать...
💡 Нейрохирург с помощью ChatGPT решил математическую задачу, которую не могли доказать 22 года Пекинский нейрохирург Шаньму Цзинь увлекся математикой и решил проверить, сможет ли ИИ доказать гипотезу Крузе — задачу в области матричного анализа, над которой математики работали с 2004 года. Сам Цзинь не математик: сначала он изучал геологию, затем получил медицинское образование, а высшую математику осваивал самостоятельно. За 22 года ученым удалось доказать гипотезу только для отдельных случаев, но общего доказательства найти не получалось. Цзинь решил подключить GPT-5.6 Sol. Он запретил модели искать информацию в интернете и заставил несколько ИИ-агентов одновременно искать разные пути решения, проверять аргументы друг друга и отбрасывать ошибочные варианты. Система работала около 16 часов практически без участия человека. В итоге ИИ нашел ключевой аргумент для полного доказательства. Цзинь опубликовал препринт, сам промпт, промежуточные версии работы и формализацию доказательства в Lean — системе, которая позволяет математически проверять такие рассуждения. Работа пока не прошла полноценное рецензирование, но математик Мишель Крузе, в честь которого названа гипотеза, и несколько других специалистов подробно проверили доказательство и сочли его корректным. Через восемь дней другая группа математиков независимо получила доказательство той же гипотезы с помощью ChatGPT. И это уже не единственный подобный случай. В 2026 году ИИ также помог получить новые результаты по другим известным математическим задачам, хотя до решения самых сложных проблем вроде гипотезы Римана ему пока далеко. Как думаете, сможет ли ИИ однажды решить одну из «задач тысячелетия»? ❤️ — да, это вопрос времени 🔥 — нет, но математикам он сильно поможет @museuminvest