Наука и техника

Google изобрела ИИ, решающий геометрические задачки на уровне золотых медалистов

Google достигла нового прорыва в области искусственного интеллекта, создав систему, способную решать задачи по евклидовой геометрии на уровне золотых медалистов математических олимпиад.

Google изобрела ИИ, решающий задачи по геометрии на уровне золотых медалистов

© Ferra.ru

Новый ИИ, названный AlphaGeometry, был обучен на миллионах синтезированных теорем и доказательств, превзойдя предыдущие методы и достигнув уровня среднего золотого медалиста Международной математической олимпиады (IMO).

AlphaGeometry использует нейро-символический подход к доказательству теорем, сочетая в себе генерацию синтетических данных и специализированные символические движки.

Этот метод позволяет ИИ генерировать почти 10 млн синтетических шагов доказательства, включая конструкцию вспомогательных точек, что выходит за рамки чисто символического вывода.

ИИ был предварительно обучен на всех сгенерированных синтетических данных, а затем дообучен с акцентом на конструкцию вспомогательных точек во время поиска доказательств.

Источник: news.rambler.ru

Похожие записи

В России усовершенствовали солнечные батареи с помощью нанотехнологий

Путин сравнил новую российскую медразработку с проектом Маска

Больше Apple Park и Microsoft Redmond: в Шанхае построен научно-исследовательский центр из 8 районов

Найдено загадочно пропавшее 84 года назад судно

Билл Гейтс: искусственный интеллект повышает продуктивность людей

Sony откажется от «киношного» экрана 21:9 в флагманском смартфоне Xperia I VI

Создан твердотельный динамик для микронаушников

Найденный в Египте уникальный метеорит пополнил коллекцию российских астрономов

Apple представила новый MacBook Air

Робот научился сортировать детали со скоростью человека

Как проверить состояние SSD и HDD на компьютере: инструкция

Россиян предупредили о новом и опасном вирусе-вымогателе для Windows

Ваш комментарий

9 + 1 =

* Используя эту форму, вы соглашаетесь с хранением и обработкой ваших данных этим веб-сайтом.

Новости от партнеров

Этот сайт использует файлы cookies и сервисы сбора технических данных посетителей. Ок Прочитать подробнее