Принадлежащая корпорации Google компания DeepMind представила ИИ-модели AlphaProof и AlphaGeometry 2, которые могут решать сложные математические задачи, с которыми не справляются другие ИИ-системы. Эти модели способны к продвинутым математическим рассуждениям благодаря их уникальному подходу к решению задач. Об этом сообщает The Guardian.
AlphaProof использует обучение с подкреплением и основан на языковой модели AlphaZero, которая уже показала свои способности в игровых ситуациях. AlphaGeometry 2, улучшенная версия существующей системы, специально разработана для решения задач по геометрии. Обе модели были обучены на больших объемах синтетических данных, что позволяет им эффективно решать сложные задачи.
Для проверки своих возможностей, новым ИИ-системам было поручено решить шесть задач Международной математической олимпиады (IMO). AlphaProof успешно решила три задачи, в то время как AlphaGeometry 2 справилась с одной задачей по геометрии. Две задачи по комбинаторике остались нерешенными.
Математики Тим Гауэрс и Джозеф Майерс оценили представленные решения и присудили им количество баллов, соответствующее серебряной медали на IMO. Это первый случай, когда ИИ-система продемонстрировала результаты, сравнимые с медалистом международной математической олимпиады.
Филиал № 4 ОСФР по Москве и Московской области информирует:
Родители 240,5 тыс. детей в Московской области получают единое пособие
Отделение СФР по Москве и Московской области проактивно открыло свыше 32 тысяч СНИЛС новорожденным
Обложка песни. Обложки альбомов песен. Сделать обложку для песни.
Филиал № 4 ОСФР по Москве и Московской области информирует:
За полгода 14,9 тысячи жителей Московского региона оформили страховую пенсию в автоматическом режиме на портале госуслуг
Гайд по регистрации, установке и входу в Throne and Liberty для игроков из России и СНГ
Activision secretly experimented on 50% of Call of Duty players by 'decreasing' skill-based matchmaking, and determined players like SBMM even if they don't know it
Co-op survival game Enshrouded now lets you make things way tougher, or way easier, with an update that adds more than 30 difficulty sliders
Abstract factory game sequel Shapez 2 will release in August
Филиал № 4 ОСФР по Москве и Московской области информирует:
С 1 августа Соцфонд увеличит страховые пенсии россиян
Филиал № 4 ОСФР по Москве и Московской области информирует:
Пенсии работающих пенсионеров начнут индексироваться с 2025 года
Филиал № 4 ОСФР по Москве и Московской области информирует:
В Московском регионе свыше 11,3 тыс. неработающих родителей получают пособие по уходу за ребенком до 1,5 лет
Филиал № 4 ОСФР по Москве и Московской области информирует:
С 1 августа Соцфонд увеличит страховые пенсии россиян