Delar framsteg inom matematik med AI
OpenAI publicerar nya resultat om olösta matematiska problem från en intern avancerad modell och delar Lean-formaliseringar av bevis samt forskningsdetaljer på GitHub.
Originalkällans språk · engelska
Läs originaletKontrollerad · 10 oktober 2026