AI Settles a 25 Year-Old Problem We Left Behind (twitter.com)

18 points by amichail 1mo ago ↗ HN

2 comments

[ 3.2 ms ] story [ 8.0 ms ] thread

[dead] aiupdates 1mo ago ↗

[dead]

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.