✔️Новость о математических рукописях OpenAI продолжает обсуждаться в математическом сообществе. Тут, например, подробно [разобрали реакцию Теренса Тао](), одного из самых влиятельных учёных современности. В лекции Math 2.0 он предложил смотреть не только на финальные ответы моделей, но и на то, как меняется сам процесс математической работы. По мнению Тао узким местом всё ещё остаётся проверка: что именно доказано, какие предпосылки использованы, где результат формализован, а где требует человеческой интерпретации. Команда [канала «Зачем мне эта математика]()?» перевела доклад Тао и выделила главные тезисы выступления. Кроме того, раннее они уже писали про первые новости по этой теме: когда первые решения задач великого Эрдёша только начали выходить. [Рекомендуем изучить историю вопроса — очень вдумчивый разбор!]()