The English edition is being prepared.

OpenAI Solved Hundreds of Math Problems. Then It Left Mathematicians to Clean Up the Mess.