tao, @TaliaRinger has helped put together a useful list of resources for #AI in #Mathematics, that was initiated during the National Academies workshop on "AI in mathematical reasoning" last year. This list is now publicly available at https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit
Add comment