I'm aware it was his response, back when he thought that an LLM couldn't possibly actually match his own intelligence. The 180 as soon as the AI did the whole proof without him is telling.
"the way OpenAI is doing it" - unfortunately while mathematicians have had an internal culture of not stepping on each other's toes, their ingroup is still susceptible to the same disruption as every other field as AI shows up to eat their lunch.
You can either get with the program and discover this is the greatest opportunity in the history of mankind to accelerate knowledge, or, you can cry over your lost prestige. Terry has chosen the latter.
"the way OpenAI is doing it" - unfortunately while mathematicians have had an internal culture of not stepping on each other's toes, their ingroup is still susceptible to the same disruption as every other field as AI shows up to eat their lunch.
You can either get with the program and discover this is the greatest opportunity in the history of mankind to accelerate knowledge, or, you can cry over your lost prestige. Terry has chosen the latter.