OpenAI har sluppet over 700 matematiske manuskripter produsert av et internt AI-system, noen med formelle bevis skrevet i Lean.

Kilde: https://nisheethvishnoi.com/2026/10/09/who-taught-the-machines-mathematics/