GoKawiilOpenAI publishes over 700 AI-generated mathematics manuscripts
On October 6, OpenAI released more than 700 mathematical papers produced by an internal AI system, some with formal proofs written in the Lean proof-verification language and others still at earlier stages of verification. A mathematician who reviewed the release, previously a FOCS program committee chair, reported feeling detached from the material rather than engaged, unlike his experience evaluating human-submitted research.