OpenAI: We will release these manuscripts, the official Lean proof certificate, and explanations of the reasoning process for mathematicians to review the results and further develop related research ideas.

2026-08-04

OpenAI: We will release these manuscripts, the official Lean proof certificate, and explanations of the reasoning process for mathematicians to review the results and further develop related research ideas.