News for hackers. Stuff that matters.

A comment on Despite High Hopes, Self-Driving Cars Are ‘Way in the Future’. Parent comment

Re:Despite High Hopes, Self-Driving Cars Are ‘Way in the Fut... by nharada on Wednesday July 17, 2019 @12:47PM (#20461440)
> solve an unsolved math proof

Yes actually, although there are some philosophical objections to computer assisted proofs: https://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_co...

[ Parent | on HN ]
Re:Despite High Hopes, Self-Driving Cars Are ‘Way in the Fut... by mhermher on Wednesday July 17, 2019 @03:13PM (#20462992)
That's just grunt work that still had to be stitched together by a human.
[ Parent | on HN ]
Re:Despite High Hopes, Self-Driving Cars Are ‘Way in the Fut... by ben_w on Thursday July 18, 2019 @02:19AM (#20467243)
But it was previously unsolved, which is your exact objection to the other example I gave.
[ Parent | on HN ]