OpenAI says it has solved 377 maths equations that have stumped experts for years · Briflio