ИИ-системы AlphaProof и AlphaGeometry 2 успешно решили четыре из шести задач на Международной математической олимпиаде (IMO), что эквивалентно серебряной медали.
Эти системы впервые достигли такого успеха на IMO. Вице-президент Google DeepMind Пушмит Коли отметил, что ранее не было систем, способных решать задачи с такой точностью и универсальностью.
Решение математических задач требует абстрактного мышления и сложного планирования, что является серьёзным вызовом для ИИ. Однако AlphaProof и AlphaGeometry 2 преодолели эти трудности благодаря усиленному обучению и формальным языкам программирования.
AlphaProof, основанный на модели Gemini от DeepMind, автоматически переводит задачи с естественного языка в формальные математические утверждения. Это упрощает их решение ИИ. AlphaGeometry 2 оптимизирована для задач, связанных с движением объектов и геометрическими уравнениями.
Для проверки возможностей систем им дали задачи текущей Международной математической олимпиады. AlphaProof успешно решила две задачи по алгебре и одну по теории чисел, включая самую сложную. AlphaGeometry 2 справилась с одной задачей по геометрии. Две задачи по комбинаторике остались нерешёнными.
Результаты были проверены и высоко оценены математиками Тимом Гауэрсом и Джозефом Майерсом. Системы набрали 28 из 42 возможных баллов, что соответствует серебряной медали на IMO. Это значительный шаг вперёд для ИИ в области математики.
Создание таких ИИ-систем открывает новые возможности для сотрудничества между людьми и машинами, помогая решать существующие задачи и создавая новые. Это способствует более глубокому пониманию того, как люди решают сложные математические проблемы.
Развитие таких систем остаётся важной задачей, и дальнейшие исследования помогут улучшить их работу и расширить применение в других областях математики.
Meta-funded regulator for AI disinformation on Meta's platform comes under fire: 'You are not any sort of check and balance, you are merely a bit of PR spin'
Стартовал пробный запуск Castle Doombad: Free To Slay на iOS и Android
Metal Slug Tactics review
A college student put on a free, stage adaptation of Silent Hill 2 'to make a truly frightening theatrical experience' all without an appearance by Pyramid Head
ОРЕНБУРГСКИЙ ЛРЗ ПРОДОЛЖАЕТ РЕАЛИЗАЦИЮ ПРОЕКТА ИНКЛЮЗИВНОЙ ПРОФОРИЕНТАЦИИ
Интересные каналы в Telegram. Лучшие каналы в Telegram. Каталог каналов Telegram. Новостные каналы в Telegram. Топ каналов Telegram. Telegram каналы новости.
Дистрибьюция Музыки. Дистрибьюция Музыки в России. Дистрибьюция музыки в вк.
Wildberries запустит собственную сеть заправок в России
Филиал № 4 ОСФР по Москве и Московской области напоминает:
Гражданам Москвы и Московской области, получившим тяжелые производственные травмы, выданы автомобили марки «Лада Гранта»
«До потолка прыгала!»: слушатель «Авторадио» выиграл автомобиль для любимой
Иномарка наехала на шедшую про тротуару женщину в центре Москвы
«Московский спорт КАРТСИМ ФЕСТ 2024» объединит любителей и профессионалов виртуального и реального автоспорта
Соколова по указу Путина наградили орденом Александра Невского
Путин заявил о готовности РФ помочь Африке в сфере безопасности
Путин заявил, что Россия готова увеличить поставки нефти и газа в Индию
Заместитель управляющего Отделением Фонда пенсионного и социального страхования Российской Федерации по г. Москве и Московской области Алексей Путин: «Клиентоцентричность - наш приоритет»
