OpenAI создает консультационную группу по математике

1 мес

OpenAI формирует группу математиков для оценки значимости ИИ-доказательств и стандартов академических исследований.

ИИ начинает менять фундаментальные подходы к научным исследованиям.

Разработчики ИИ пытаются интегрировать свои инструменты в академическую среду.
Возникает конфликт между формальной точностью алгоритмов и человеческим пониманием сути доказательств.
Создание консультационных групп — попытка стандартизировать использование ИИ в профессиональной математике.

Изящный ответ на жалобы и вообще недовольство математиков последними достижениями ИИ в математике. Предмет недовольства в том — и это очень важная подробность — что доказательства ИИ формально верны (подтверждений тому все больше), но не способствуют пониманию сути дела людьми-математиками. (У меня все больше дежа-вю из времен побед AlphaGo: победы были неоспоримы, но играла машина не по-человечески). В попытке сохранить диалог с математическим сообществом OpenAI объявила о создании консультационной группы, в которую войдут авторитетные, но достаточно лояльные к ИИ математики.

The group will advise on the review and communication of emerging results: they will help OpenAI assess their significance, advise on how to coordinate their dissemination, and advise on academic and professional standards of mathematical research.

Интересно, чем дело кончится. Как известно, с AlphaZero кончилось тем, что было решено: этот алгоритм просто больше никогда не будет играть с людьми 🙂 Боюсь, с математикой эта стратегия не сработает. https://openai.com/index/advisory-group-on-mathematics-and-ai/

Кратко (AI)

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

OpenAI создает консультационную группу по математике

Кратко (AI)

Обсуждение