Helmut H. W. Hofer

The Mathematician Leads: Building a Research Profile in the Age of Frontier AI

I propose that mathematicians who use AI in research maintain a research profile: a record of what the system has learned about working with them, where those lessons came from, and whether they remain useful. I describe how such a profile grew out of my own mathematical work, through corrections, failed approaches, an...