[07/2025] Our work featured in Harvard Gazette Article on AI and Math

Our work was featured in an article in the Harvard Gazette that explores the relationship between AI and Mathematics (in both ways). Read the article here.