а про математические проблемы vs AI
где можно читать о достижениях ИИ в решении задач теории.
Удалось ли "изнасиловать" хоть одну математическую проблему
машинными средствами ИИ, иначе, чем проблему четырёх красок?
у этих https://www.nature.com/articles/s42256-018-0002-3 смотрел