Теория машинного обучения и информации для математика МА
arXiv:2403.03.4571v2 Аннонс Тип: заменить резюме: Нынешнее состояние искусственного интеллекта впечатляет, особенно с точки зрения владения языком, но не столько математического рассуждения. Что может упуститься? Можем ли мы узнать что-то полезное об этом разрыве из того, как мозги математиков работают над своим ремеслом? Это эссе основано на идее о том, что нынешнее глубокое обучение в основном успешно срабатывает в системе 1 - которые соответствуют нашей интуиции и обычному поведению - но все еще не имеет чего-то важного в отношении способностей системы 2, включая разумение и надежную оценку неопределенности. Для того чтобы задать вопросы о том, что представляет собой интересное математическое заявление, необходимо иметь информационную теоретику, которая могла бы служить руководством для будущей работы по подготовке математика МА. Основное внимание уделяется не доказыванию определенной теории, а выявлению новых и интересных гипотез. Главная гипотеза состоит в том, что желательное тело теорем лучше резюмирует набор
