# Sharing AI progress in mathematics

Source: https://openai.com/index/sharing-ai-progress-in-mathematics
Published: 2026-10-06
Status: unreviewed source report

## Source excerpt (up to 25 words)

> OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

## Review question

Inspect the formal statement, imported axioms, admitted lemmas, checker version and correspondence with the informal theorem. A successful compiler exit alone does not prove that the intended question was formalized.

No independent proof check or claim of peer review.