OpenAI's math solutions fall short of field's standards
OpenAI's flood of proofs deviated from guidelines set by a group of mathematical researchers consulted by the frontier lab, particularly on the need for human understanding of results.
Read the story