Deler AI-fremskridt inden for matematik

OpenAI offentliggør nye resultater om åbne matematiske problemer fra en intern avanceret model og deler Lean-formaliseringer af beviser og forskningsdetaljer på GitHub.

Originalkildens sprog · engelsk

Kontrolleret · 10. oktober 2026