Re:Number theorist fears many proofs widely considered to be...
by ukj on Sunday September 29, 2019 @12:32PM
(#21107980)
But it's once-off work. Thereafter the computers can take over.
[ Parent
| on HN ]
There are no comments on this comment yet.