OpenAI publishes hundreds of AI-generated math proofs

OpenAI said its model produced 372 groups of results covering more than 300 problems across several areas of mathematics. The company said the release was meant to show more of its internal work on mathematical discovery.