Американские математики разработали систему искусственного интеллекта AlphaGeometry, способную решать самые сложные геометрические задачи, которые используются на олимпиадах.
«Ей удалось решить 25 из 30 задач, недавно использовавшихся в международных математических олимпиадах, что сопоставимо с успехами обладателей золотых медалей», — сообщили разработчики.
AlphaGeometry способна решать самые неудобные для систем ИИ математические задачи — искать доказательства к теоремам, связанным с эвклидовой геометрией, которые трудно перевести на понятный алгоритму язык.
Специалистам удалось обойти эту проблему при помощи разработанной ими языковой нейросети, а также специального алгоритма, который позволил выработать большое число синтетических теорем и доказательств к ним.
🔷 Ранее математик-любитель решил научную загадку и изобрел уникальную геометрическую фигуру.