Штучний інтелект AlphaGeometry від DeepMind навчили розв’язувати складні геометричні задачі
27.01.24
DeepMind, науково-дослідна лабораторія Google зі штучного інтелекту, представила нову розробку під назвою AlphaGeometry, яка спрямована на розв’язання складних геометричних задач. За словами DeepMind, AlphaGeometry може розв’язувати геометричні задачі на рівні золотого медаліста в олімпіадах з математики.
Ця система штучного інтелекту має відкритий вихідний код і вже перевершила попередні аналогічні системи, розв’язуючи 25 олімпіадних геометричних завдань за стандартний ліміт часу. DeepMind заявляє, що AlphaGeometry володіє здатністю до доведення математичних теорем, а також аргументації і вибору оптимальних кроків для розв’язання задач.
Основними складностями у розвитку системи були переклад доказів у формат, зрозумілий машинам, та недостатність придатних геометричних навчальних даних. Для розв’язання цих проблем DeepMind поєднала модель “нейронної мови”, подібну до GPT, з “механізмом символьної дедукції”, що використовує математичні правила для розв’язання проблем. Хоча символьні механізми можуть бути повільними при роботі з великими даними, DeepMind вдосконалила їх шляхом направлення механізму дедукції за допомогою можливих відповідей на геометричні питання, що дозволило значно прискорити процес.
Замість навчальних даних DeepMind створив 100 мільйонів «синтетичних теорем» і доказів різної складності. Потім лабораторія навчила AlphaGeometry з нуля на цих синтетичних даних та оцінила його на олімпіадних геометричних задачах.
Геометричні задачі базуються на кресленнях і для розв’язання потребують додавання нових геометричних фігур. AlphaGeometry передбачає, які фігури потрібно додати в аналогічних завданнях.
Нейронні мережі є наріжним каменем потужних систем ШІ, таких як DALL-E 3 та GPT-4 від OpenAI. Але на відміну від них, що символьний ШІ здатний ефективніше кодувати наявні знання, обдумувати складні сценарії та «пояснити», як він прийшов до відповіді. Гібридна символьно-нейронна мережа AlphaGeometry демонструє, що поєднання обох підходів, можливо є найкращим шляхом у пошуку узагальненого ШІ.
Не пропустіть цікаве!
Підписуйтесь на наші канали та читайте анонси хай-тек новин, тестів та оглядів у зручному форматі!
Тест ноутбука Acer Nitro V 15 ANV15-51-512A: народні ігри
Ігровий ноутбук Acer Nitro V 15 може успішно впоратися з офісними завданнями та розважати власника контентом та іграми. Подивимося, як пройшло перевтілення на основі відомого шасі
Безпілотник Аист 100 отримав власну монету від Нацбанку України
банк дрон події в Україні“Аист-100” – це український безпілотник, розроблений компанією DeViRo. Дрон був допущений до експлуатації у ЗСУ у 2016 році та офіційно прийнятий на озброєння у 2021 році
Розроблено пластир, який зможе стежити за показниками здоров’я діабететиків
медицина розробкаДослідницька група інтегрувала мікролазерну технологію в м’яку гідрогелеву плівку, створивши гнучкий та компактний сенсорний пристрій, схожий на пластир