OpenAI drops another batch of mathematical breakthroughs · Bharat Hunt