Притежаваната от корпорация Google, компания DeepMind представи своите ИИ- модели

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

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

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