AI in Mathematical Research: Heidelberg Laureate Forum 1 points by niemandhier 2 hours ago 1 comments story