Изящный ответ на жалобы и вообще недовольство математиков последними достижениями ИИ в математике. Предмет недовольства в том — и это очень важная подробность — что доказательства ИИ формально верны (подтверждений тому все больше), но не способствуют пониманию сути дела людьми-математиками. (У меня все больше дежа-вю из времен побед 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/