OpenAI Collaborates with Academics Following AI-Generated Proofs
OpenAI announced three AI-produced results in mathematics, computer science and physics and outlined different release strategies for each. External experts will shepherd the work; some AI outputs and Lean formalizations were published, while physics artifacts remain held.