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