ШІ-алгоритм AlphaGeometry від Google DeepMind розв'язує складні задачі з геометрії на рівні чемпіона математичної олімпіади
DeepMind
Система штучного інтелекту під назвою AlphaGeometry, розроблена британською компанією Google DeepMind, продемонструвала здатність розв'язувати задачі з геометрії, порівнянну з рівнем золотих медалістів Міжнародної математичної олімпіади (IMO) - престижного змагання для старшокласників.
Що відомо
Як пишуть дослідники з DeepMind, AlphaGeometry змогла розв'язати 25 із 30 тестових завдань IMO за відведені 4,5 години. Цей результат можна порівняти із середніми показниками людських переможців олімпіади.
Порівняння продуктивності AlphaGeometry, попередньої моделі та медалістів IMO
Система поєднує два різні підходи:
- нейронну мовну модель, що генерує інтуїтивні ідеї;
- механізм символічної дедукції, що перевіряє ідеї за допомогою формальної логіки та правил.
Мовна модель ґрунтується на тій самій технології, що й пошукова система Google і системи розуміння природної мови. Механізм дедукції натхненний методом, розробленим китайським математиком Вень-Цюнь Ву (Wen-Tsün Wu) 1978 року.
Як зазначають експерти, результати дослідження демонструють прогрес у розвитку машинного інтелекту, здатного до логічного мислення і відкриття нових математичних знань. Однак вони визнають наявність обмежень в AlphaGeometry.
Проте в майбутньому подібні системи можуть знайти широке застосування для прискорення наукових досліджень у математиці, природничих науках та інших галузях, впевнені в DeepMind. Для цього вони виклали вихідний код AlphaGeometry на GitHub.
Джерело: Nature
