Source: The Verge
OpenAI's o1 model has solved previously intractable mathematics problems faster than human experts, creating immediate pressure on how mathematical research gets funded and credited. The company's pattern of releasing capability-heavy models without corresponding guardrails for professional displacement mirrors its approach across other knowledge work, but mathematics is uniquely vulnerable because correctness is verifiable and competition is zero-sum. Mathematics departments and funding agencies now face a choice: whether they're training humans for a shrinking category of intellectual work or for something else.