Deler AI-fremskritt innen matematikk

OpenAI publiserer nye resultater om åpne matematiske problemer fra en intern avansert modell og deler Lean-formaliseringer av bevis og forskningsdetaljer på GitHub.

Språket i originalkilden · engelsk

Kontrollert · 10. oktober 2026