> If some tech bro can't do the research in an afternoon with an agent, it's not worth doing at all, let alone worth paying a PhD for a tenured lifetime job to do.
The OpenAI math dump showed that it’s not worth paying hundreds of PhD-years if a tech bro can do it with an agent.
The value of math does not consist in providing yes/no answers to conjectures.