AI Settles a 25 Year-Old Problem We Left Behindtwitter.com 18 pointsamichail1 month ago1 commentSaveHideCopy link On HNComments−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.