Новая нейросеть получила название AlphaGeometry. Она обучалась на миллионах синтезированных теорем и доказательств, а в основу ее работы лег нейро-символический подход к доказательству теорем, пишет Nature.
Так, система может генерировать примерно 10 млн синтетических шагов доказательства, в том числе конструкцию вспомогательных точек.
Ранее сообщалось, что нейросети не смогут повлиять на падение уровня IQ у студентов.