Dzielenie się postępami AI w matematyce

OpenAI publikuje nowe wyniki wewnętrznego zaawansowanego modelu dotyczące otwartych problemów matematycznych oraz udostępnia na GitHubie formalizacje dowodów w Lean i szczegóły badań.

Język oryginalnego źródła · angielski

Sprawdzono · 10 października 2026