Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal modeland what that could mean for mathematics.
