✔️Новость о математических рукописях OpenAI продолжает обсуждаться в математическом сообществе. Тут, например, подробно разобрали реакцию Теренса Тао, одного из самых влиятельных учёных современности. В лекции Math 2.0 он предложил смотреть не только на финальные ответы моделей, но и на то, как меняется сам процесс математической работы. По мнению Тао узким местом всё ещё остаётся проверка: что именно доказано, какие предпосылки использованы, где результат формализован, а где требует человеческой интерпретации. Команда канала «Зачем мне эта математика?» перевела доклад Тао и выделила главные тезисы выступления. Кроме того, раннее они уже писали про первые новости по этой теме: когда первые решения задач великого Эрдёша только начали выходить. Рекомендуем изучить историю вопроса — очень вдумчивый разбор! #news #ai #ml
- 68
- 27
- 9
- 9
- 2
- 1
- 1