AI моделите вече решават успешно задачи от математическа олимпиада(снимка: CC0

AI моделите към този момент вземат решение сполучливо задания от математическа олимпиада
(снимка: CC0 Public Domain)

DeepMind, основаният в Лондон проучвателен филиал на Гугъл за изкуствен интелект, показа нови модели AlphaProof и AlphaGeometry 2, които могат да вземат решение комплицирани математически проблеми, непостижими за сегашните AI модели.

По редица аргументи, решаването на математически проблеми, които изискват усъвършенствани качества за размишление, към момента не е във опциите на множеството AI системи. Факт е, че този вид проблеми изискват образуване и потреблението на абстракции. Освен това е належащо комплицирано йерархично обмисляне, задаване на подцели, връщане обратно и намиране на нови пътища, което е мъчно за AI.

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

От своя страна, AlphaGeometry 2 е усъвършенствана версия на съществуващата система AlphaGeometry AI, показана през януари и предопределена за решение на геометрични проблеми, заяви Гардиън.

Докато AlphaProof е подготвен да взема решение проблеми по необятен кръг от математически тематики, AlphaGeometry 2 е усъвършенстван за задания, включващи придвижвания на обекти и уравнения, с ъгли, съотношения и дистанции. Тъй като AlphaGeometry 2 е подготвен на доста повече синтетични данни от своя предходник, той може да се оправи с доста по-сложни геометрични проблеми.

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

Двама известни математици, Тим Гауърс и Джоузеф Майерс, тестваха решенията, предоставени от системите. Те присъдиха на всеки от четирите правилни отговора оптималния брой точки (седем от седем), давайки на системите общо 28 точки от най-много 42.

Олимпиец, който означи същия брой точки, щеше да получи сребърен орден и би останал на крачка от златото, което се присъжда на тези математици, които са спечелили 29 точки или повече.

За първи път AI система съумя да реализира резултати на равнище орден при решение на математически задания на IMO. „ Като математик намирам това за доста впечатляващо и забележителен скок над това, което беше допустимо преди ”, сподели Гауърс по време на конференция.

Създаването на AI системи, които могат да вземат решение комплицирани математически проблеми, може да проправи пътя за вълнуващо съдействие сред индивида и AI, счита Кейти Колинс, откривател в университета в Кеймбридж.

Това, от своя страна, може да ни помогне да научим повече за това по какъв начин ние, хората, вършим математика. „ Все още има доста неща, които не знаем за това по какъв начин хората вземат решение комплицирани математически задания ”, сподели Колинс.