Невероятно, но изкуственият интелект на DeepMind за първи път печели сребърен медал на олимпиада по математика

Ще могат ли хората изобщо да задържат лидерството си в тази област.

Google DeepMind обяви за значителен напредък в областта на изкуствения интелект. Специализираните ИИ системи AlphaProof и AlphaGeometry 2 успяха да решат успешно четири от общо шестте задачи на Международната математическа олимпиада (ММО), с което спечелиха еквивалента на сребърния медал.

AlphaProof и AlphaGeometry 2 са усъвършенствани системи, които са обучени да решават сложни математически задачи, използвайки авангардни техники за логическо мислене. За първи път тези системи постигат толкова висок успех при решаването на задачи на IMO. Проектът е ръководен от вицепрезидента по изследванията на Google DeepMind Пушмит Кохли, който отбеляза, че досега не е имало подобни системи, способни да решават задачите с такава степен на гъвкавост и точност.

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

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

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

Резултатите на системите бяха проверени и високо оценени от известните математици Тим Гауърс и Джоузеф Майерс. Системите получиха 28 от 42 възможни точки, което съответства на сребърен медал на IMO. Този резултат е значителен скок в развитието на изкуствения интелект в областта на математиката.

/Създаването на ИИ системи, които могат да решават сложни математически задачи, открива нови възможности за съвместна работа между хората и машините. Това може да помогне на математиците както да решават съществуващи проблеми, така и да създават нови, което от своя страна допринася за по-доброто разбиране на това как хората решават сложните математически задачи.

Разработването на такива системи продължава да бъде актуално предизвикателство, а по-нататъшните изследвания ще помогнат за подобряване на тяхната ефективност и за разширяване на приложението им в други области на математиката.