ШІ-алгоритм AlphaGeometry від Google DeepMind розв'язує складні задачі з геометрії на рівні чемпіона математичної олімпіади

Система штучного інтелекту під назвою AlphaGeometry, розроблена британською компанією Google DeepMind, продемонструвала здатність розв'язувати задачі з геометрії, порівнянну з рівнем золотих медалістів Міжнародної математичної олімпіади (IMO) - престижного змагання для старшокласників.

Що відомо

Як пишуть дослідники з DeepMind, AlphaGeometry змогла розв'язати 25 із 30 тестових завдань IMO за відведені 4,5 години. Цей результат можна порівняти із середніми показниками людських переможців олімпіади.

Система поєднує два різні підходи:

• нейронну мовну модель, що генерує інтуїтивні ідеї;
• механізм символічної дедукції, що перевіряє ідеї за допомогою формальної логіки та правил.

Мовна модель ґрунтується на тій самій технології, що й пошукова система Google і системи розуміння природної мови. Механізм дедукції натхненний методом, розробленим китайським математиком Вень-Цюнь Ву (Wen-Tsün Wu) 1978 року.

Як зазначають експерти, результати дослідження демонструють прогрес у розвитку машинного інтелекту, здатного до логічного мислення і відкриття нових математичних знань. Однак вони визнають наявність обмежень в AlphaGeometry.

Проте в майбутньому подібні системи можуть знайти широке застосування для прискорення наукових досліджень у математиці, природничих науках та інших галузях, впевнені в DeepMind. Для цього вони виклали вихідний код AlphaGeometry на GitHub.

Джерело: Nature