Comment on AI Settles a 25 Year-Old Problem We Left BehindComments−DoctorOetker1moeuhm, I just see human prose written by a human who became convinced, I'd rather see the MetaMath elementary steps, because those are fully comprehensible.
Comments
euhm, I just see human prose written by a human who became convinced, I'd rather see the MetaMath elementary steps, because those are fully comprehensible.