Împărtășim progresul AI în matematică

OpenAI publică rezultate noi ale unui model intern de frontieră privind probleme nerezolvate din matematică și distribuie pe GitHub formalizări de demonstrații Lean și detalii de cercetare.

Limba sursei originale · engleză

Verificat · 10 octombrie 2026