Изкуственият интелект на Google взе сребърен медал на олимпиада по математика

Притежаваната от корпорация Google, компания DeepMind представи своите ИИ- модели AlphaProof и AlphaGeometry 2, с възможности да решават сложни математически проблеми, с които други системи с изкуствен интерект не могат да се справят. Тези модели са способни на усъвършенствани математически разсъждения поради техния уникален подход към решаването на проблеми. Това съобщава The Guardian. Математиците Тим Гауърс и Джоузеф Майерс оцениха изпратените решения и им присъдиха броя точки, съответстващ на сребърен медал на IMO. Това е първият път, когато ИИ- система демонстрира резултати, сравними с медалист от Международната олимпиада по математика.

AlphaProof използва обучение с подсилване и се основава на езиковия модел AlphaZero, който вече е показал своите възможности в игрови ситуации. AlphaGeometry 2, подобрена версия на съществуващата система, е специално проектирана за решаване на геометрични здачи. И двата модела са обучени на големи обеми синтетични данни, което им позволи да решават сложни проблеми ефективно.

За да тестват възможностите си, новите ИИ- системи бяха натоварени с решаването на шест задачи от Международната математическа олимпиада (IMO). AlphaProof успешно реши три задачи, докато AlphaGeometry 2 се справи с един геометричен казус. Два задачи по комбинаториката са останали нерешени.