Математика и язык

В видео выступление на PRACTICAL ML Conf Андрея Окунькова, российского и американского математика, лауреата Филдсовской премии. Математики говорят на собственном языке, который чем-то напоминает естественные, но всё-таки очень сильно от них отличается. Возможные сложности и путаница только усугубляются в математической физике, где такие слова, как «энергия» или «сила», имеют не только устоявшийся обиходный смысл, но и свой отдельный смысл в различных физических контекстах и теориях. Размышления о языке математики имеют прямое прикладное значение в эпоху больших языковых моделей, и Андрей постарался поговорить как о том, чего бы математикам от этих моделей хотелось, так и о том, с какими сложностями мы можем столкнуться на пути осуществления мечты.