OpenAI Models Produce Verified Proofs in Mathematics, Computer Science, and Physics

OpenAI announced that its models have independently produced three novel, verified proofs spanning mathematics, computer science, and physics, in collaboration with academic institutions including ETH Zurich. These are not reproductions of known results but genuinely new contributions that have been validated by domain experts. This is a landmark signal for AI's role in scientific discovery, suggesting that frontier models are beginning to contribute to the research frontier rather than merely summarizing it. For developers and researchers building on OpenAI APIs, it raises the question of how reasoning-heavy scientific tasks can be structured as prompts or pipelines. OpenAI is also announcing a new framework for working with academic communities, potentially opening channels for structured research collaboration.