Принадлежащая корпорации Google компания DeepMind представила ИИ-модели AlphaProof и AlphaGeometry 2, которые могут решать сложные математические задачи, с которыми не справляются другие ИИ-системы. Эти модели способны к продвинутым математическим рассуждениям благодаря их уникальному подходу к решению задач. Об этом сообщает The Guardian.
AlphaProof использует обучение с подкреплением и основан на языковой модели AlphaZero, которая уже показала свои способности в игровых ситуациях. AlphaGeometry 2, улучшенная версия существующей системы, специально разработана для решения задач по геометрии. Обе модели были обучены на больших объемах синтетических данных, что позволяет им эффективно решать сложные задачи.
Для проверки своих возможностей, новым ИИ-системам было поручено решить шесть задач Международной математической олимпиады (IMO). AlphaProof успешно решила три задачи, в то время как AlphaGeometry 2 справилась с одной задачей по геометрии. Две задачи по комбинаторике остались нерешенными.
Математики Тим Гауэрс и Джозеф Майерс оценили представленные решения и присудили им количество баллов, соответствующее серебряной медали на IMO. Это первый случай, когда ИИ-система продемонстрировала результаты, сравнимые с медалистом международной математической олимпиады.
Филиал № 4 ОСФР по Москве и Московской области информирует:
Более 12 тысяч жителей Москвы и Московской области получают повышенную пенсию за работу в сельском хозяйстве
Филиал № 4 ОСФР по Москве и Московской области информирует:
Родители 240,5 тыс. детей в Московской области получают единое пособие
Обложка песни. Обложки альбомов песен. Сделать обложку для песни.
Филиал № 4 ОСФР по Москве и Московской области информирует:
За полгода 14,9 тысячи жителей Московского региона оформили страховую пенсию в автоматическом режиме на портале госуслуг
Филиал № 4 ОСФР по Москве и Московской области информирует:
Родители 240,5 тыс. детей в Московской области получают единое пособие
Нервный импульс. Томские микрохирурги вернули 59-летнему жителю Германии эрекцию
Отделение СФР по Москве и Московской области проактивно открыло свыше 32 тысяч СНИЛС новорожденным
Филиал № 4 ОСФР по Москве и Московской области информирует:
За полгода 14,9 тысячи жителей Московского региона оформили страховую пенсию в автоматическом режиме на портале госуслуг
Филиал № 4 ОСФР по Москве и Московской области информирует:
За полгода 14,9 тысячи жителей Московского региона оформили страховую пенсию в автоматическом режиме на портале госуслуг
Кажетта Ахметжанова отдыхает в Якутии и делится местами силы
Отделение СФР по Москве и Московской области проактивно открыло свыше 32 тысяч СНИЛС новорожденным
Нервный импульс. Томские микрохирурги вернули 59-летнему жителю Германии эрекцию