EN #scientific transparency 10/9/26 OpenAI Shares AI Advancements in Mathematics New mathematical results produced by the internal model are shared via GitHub, along with proofs in Lean format and transparency details. Artificial Intelligence News
