OpenAI says its models have proved theorems in mathematics, challenged a computing theory and tackled quantum field theory.