› OpenAI opublikowało listę dziesięciu kluczowych osiągnięć swoich modeli AI w matematyce i informatyce teoretycznej.
› Wyniki obejmują postępy w dowodzeniu twierdzeń, rozwiązywaniu problemów olimpiadowych i zadaniach z teorii obliczeń.
› Publikacja sugeruje rosnące możliwości modeli OpenAI w formalnym rozumowaniu matematycznym.