Как ИИ решал задачи по геометрии
Прочитал тут статьи на Хабре о том, как AlphaGeometry находила решения задач:
https://habr.com/ru/articles/837336/
https://habr.com/ru/articles/834396/
Очень занятно оказалось. ИИ там относительно немного. Возможность чего-то такого я подозревал очень давно, хотя сам люблю придумывать "рассуждательные" решения геометрических задач.
UPD. Этот рассказ вызывает у меня сложные чувства - потому что кажется теперь, задним числом, что я сам мог бы это придумать и реализовать (хотя бы ту часть что без нейросетей) лет 20 назад. А вместо этого пинал балду.
https://habr.com/ru/articles/837336/
https://habr.com/ru/articles/834396/
Очень занятно оказалось. ИИ там относительно немного. Возможность чего-то такого я подозревал очень давно, хотя сам люблю придумывать "рассуждательные" решения геометрических задач.
UPD. Этот рассказ вызывает у меня сложные чувства - потому что кажется теперь, задним числом, что я сам мог бы это придумать и реализовать (хотя бы ту часть что без нейросетей) лет 20 назад. А вместо этого пинал балду.