OpenAI's math solutions aren't meeting the field's standards yet

"When OpenAI released hundreds of claimed solutions to some of the world’s hardest math problems this week, the frontier lab said that it had consulted an advisory group of elite mathematicians to avoi"