Два объявления: ресурсы AI для математики и erdosproblems.com

Этот пост содержит два не связанных друг с другом объявления. Во-первых, я хотел бы рекламировать полезный список ресурсов по ИИ в математике, который начал Талия Рингер (с помощью краудсорсинга от многих других) во время работы Национальной академии по теме "ИИ в математическом мышлении" в прошлом году. Сейчас этот список принимает новые вклады, обновления или […]