Без заголовка

В режиме заметки на полях: Попытки написать программу, которая не только по-настоящему понимает математику, но и может двигать ее вперед (начиная с переизобретения фундаментальных уже известных теорем и так далее), предпринимаются уже давно http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.53.3340&rep=rep1&type=pdf https://at-web1.comp.glam.ac.uk/pages/research/ai-cognitive-science/mu.html попытке не совсем безуспешны, но на некоем уровне сложности внезапно наступает затык, папер называется что-то вроде "Why Mathematics Understander is Out Of Steam" не смог нагуглить пока быть может, для нейросетей не будет такого досадного "потолка"