Does this include the potential for dolphins and sea urchins doing the research instead? I may have to adjust my priors if so...
@jonsimon That most important math research is not done by them anymore, and instead done by for example AGI or aliens.
@levifinkelstein But what does "done by them" mean? How will it be quantified? Humans will still be writing the papers and getting the awards. Even if the contents of those papers are heavily AI produced.
@jonsimon the conceptual work has to be mostly done by the mathematicians, if they just ask some model to prove a theorem for them and then it does it then it doesn't count as the mathematician doing it.
@jonsimon The day that AI is producing 100% of the mathematical breakthroughs is the day that mathematicians and the broader enterprise of research mathematics ceases to exist. 99.9% of math papers that come out are just for the edification of other human mathematicians.