OpenAI released 722 math manuscripts, moving the bottleneck to verification
OpenAI has released 722 mathematical manuscripts across 372 result families, produced by an unreleased internal model. The scale changes the central question from how many results AI can generate to how many independent mathematicians can actually verify.