Новый ИИ Google научился решать геометрические задачи на уровне золотых медалистов

Google создала систему, работающую на базе искусственного интеллекта, которая может решать задачи по евклидовой геометрии на уровне золотых медалистов Международной математической олимпиады.

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

Так, система может генерировать примерно 10 млн синтетических шагов доказательства, в том числе конструкцию вспомогательных точек.

Ранее сообщалось, что нейросети не смогут повлиять на падение уровня IQ у студентов.