OpenAI’s math solutions aren’t meeting the field’s standards yet
By Tim Fernholz
OpenAI's flood of proofs deviated from the guidelines set by a group of mathematical researchers consulted by the frontier lab.
Read it in your languageMachine translation by Google of the publisher's page