OpenAI says its models have proved theorems in mathematics, challenged a computing theory and tackled quantum field theory.
A UC Berkeley mathematics professor has stopped grading his students’ homework for correctness, saying there’s little point ...