Принадлежащая корпорации Google компания DeepMind представила ИИ-модели AlphaProof и AlphaGeometry 2, которые могут решать сложные математические задачи, с которыми не справляются другие ИИ-системы. Эти модели способны к продвинутым математическим рассуждениям благодаря их уникальному...
Принадлежащая корпорации Google компания DeepMind представила ИИ-модели AlphaProof и AlphaGeometry 2, которые могут решать сложные математические задачи, с которыми не справляются другие ИИ-системы. Эти модели способны к продвинутым математическим рассуждениям благодаря их уникальному подходу к решению задач. Об этом сообщает The Guardian.
AlphaProof использует обучение с подкреплением и основан на языковой модели AlphaZero, которая уже показала свои способности в игровых ситуациях. AlphaGeometry 2, улучшенная версия существующей системы, специально разработана для решения задач по геометрии. Обе модели были обучены на больших объемах синтетических данных, что позволяет им эффективно решать сложные задачи.
Для проверки своих возможностей, новым ИИ-системам было поручено решить шесть задач Международной математической олимпиады . AlphaProof успешно решила три задачи, в то время как AlphaGeometry 2 справилась с одной задачей по геометрии. Две задачи по комбинаторике остались нерешенными. Математики Тим Гауэрс и Джозеф Майерс оценили представленные решения и присудили им количество баллов, соответствующее серебряной медали на IMO. Это первый случай, когда ИИ-система продемонстрировала результаты, сравнимые с медалистом международной математической олимпиады.
Россия Последние новости, Россия Последние новости
Similar News:Вы также можете прочитать подобные новости, которые мы собрали из других источников новостей
Создан искусственный интеллект Google для более точного прогноза погодыУченые из Google Research создали новую гибридную климатическую модель NeuralGCM, способную предсказать погоду на срок от одного до пятнадцати дней. Описание технологии появилось в журнале Nature.
Прочитайте больше »
Греф рассказал, чему России стоит поучиться у Китая в сфере разработки ИИ. Новости. Первый каналПо его оценке, искусственный интеллект стал технологией, даже более важной, чем электричество.
Прочитайте больше »
Российские ученые разработали программу поиска «правильного» оператора для нейросетиВ условиях, когда искусственный интеллект (ИИ) все активнее используется в промышленности, особенно на объектах повышенной опасности, крайне важно понимать, как люди взаимодействуют с этими новыми технологиями.
Прочитайте больше »
В России разработали искусственный интеллект для ускорения выращивания рыбыРоссийские разработчики представили программно-аппаратный комплекс FishGrow Platform, который позволяет контролировать основные технические параметры и показатели рыбоводческого предприятия, управлять оборудованием, а также неинвазивно измерять темпы прироста биомассы рыбы. Комплекс успешно...
Прочитайте больше »
Bloomberg: Макрон пропал после поражения в первом туре выборов в парламентПрезидентский блок занял третье место в первом туре выборов.
Прочитайте больше »
Искусственный интеллект научили прогнозировать засухи на год впередРешение основано на использовании пространственно-временных нейронных сетей и доступных ежемесячных климатических данных и объединяет современные нейросетевые подходы с классическими методами
Прочитайте больше »