OpenAI reports model-assisted results in mathematics and physics

OpenAI says its models produced results involving local smoothing, ETH, and existence proofs concerning Yang–Mills and QCD. Broader AI-mathematics coverage reports large manuscript collections and Lean formalizations, while withdrawals over a sign error underscore the need for careful verification. Recent general commentary on AI’s role in science adds perspective but no new validation; independent assessment remains central.