Mathematics

OpenAI's 719 machine-made math papers come in three tiers of confidence, and Lean coverage swings from nine in 10 families in combinatorics to one in five in algebraic geometry. Here is what a "solved" headline actually means.