Китайский врач с помощью GPT-5.6 Sol доказал гипотезу Крузе, которую не могли решить 22 года.
Китайский врач Цзинь Шаньму решил математическую задачу, над которой бились 22 года.
Цзинь Шаньму не математик по образованию: всё интересное для себя он изучал самостоятельно. Для доказательства гипотезы Крузе он запустил GPT-5.6 Sol на 16 часов и попросил модель проверять разные подходы и отбрасывать нерабочие варианты.
В итоге ИИ выдал полноценное доказательство, которое проверили несколько математиков, включая самого Мишеля Крузе, автора гипотезы. По их словам, доказательство корректно.
Так врач между сменами закрыл математический вопрос, остававшийся открытым 22 года.
Ещё новости:
