AI Settles a 25 Year-Old Problem We Left Behind

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.