OpenAI prezentuje postępy sztucznej inteligencji w matematyce

OpenAI opublikowała nowe wyniki dotyczące otwartych problemów matematycznych uzyskane przez wewnętrzny model graniczny. Zespół udostępnił formalizacje dowodów w Lean oraz szczegóły badawcze na GitHubie.