Post #2334308

RE: https://mathstodon.xyz/@wtgowers/116541479140154547 Some important thoughts on the future of mathematical research in the age of AI. Key question: “suppose that a mathematician solved a major problem by having a long exchange with an LLM in which the mathematician played a useful guiding role but the LLM did all the technical work and had the main ideas. Would we regard that as a major achievement of the mathematician?”