Outside experts assess major proofs produced by OpenAI models
🤖 AI-generated content — The title and summary were produced automatically by artificial intelligence, without human editorial review.
OpenAI says its internal AI models produced proofs addressing three open questions in mathematics, computer science and physics, including part of a $1 million Millennium Prize Problem and a challenge to the Exponential Time Hypothesis. Outside specialists are reviewing the work, with two proofs also translated into Lean.
Continue in the app — vote & join in ➔Source: The Decoder (AI) · via ahirlevel.hu