Штучний інтелект 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 демонструє, що поєднання обох підходів, можливо є найкращим шляхом у пошуку узагальненого ШІ.
Не пропустіть цікаве!
Підписуйтесь на наші канали та читайте анонси хай-тек новин, тестів та оглядів у зручному форматі!
![Articles](https://hi-tech.ua/wp-content/themes/softpress/img/arrow.png)
Огляд смарт годинника Oppo Watch X: дорого і зі смаком
![views](https://hi-tech.ua/wp-content/themes/softpress/img/icons/eyeglasses.png)
![comments](https://hi-tech.ua/wp-content/themes/softpress/img/icons/speach.png)
![Oppo Watch X (OWWE231)](https://hi-tech.ua/wp-content/uploads/2024/08/oppo-watch-x-owwe231-01-300x225.jpg)
Флагманський годинник Oppo Watch X отримав актуальні технології та датчики. Він підтримує сотні режимів занять спортом і дозволяє сплатити за каву прямо під час прогулянки. Докладніше про годинник розповімо в цьому огляді
![News](https://hi-tech.ua/wp-content/themes/softpress/img/arrow.png)
Нові монітори Acer Nitro підтримують частоту оновлення до 600 Гц
Acer монiтор події в УкраїніКомпанія Acer розширила свою лінійку геймерських моніторів Nitro, представивши три нові моделі: Nitro XV240 F6, Nitro XV270 F5 та Nitro XV270U F5.
Гра-платформер Astro Bot від Sony побила рекорд високих оцінок у 2024 році
Sony ігриAstro Bot стала першою великою грою Sony, яка отримала українську текстову локалізацію, що наголошує на компанії до локальних ринків. Гра доступна у магазині PlayStation за ціною 1999 грн.