You read it yourself :) If you and the AI agree on the translation of the proble...

		JacobAsmuth 66 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... You read it yourself :) If you and the AI agree on the translation of the problem, and lean agrees with the solution, then you're done.