News for hackers. Stuff that matters.
Re:Despite High Hopes, Self-Driving Cars Are ‘Way in the Fut... by ben_w on Wednesday July 17, 2019 @01:36PM (#20462000)
Amongst the other 22 million results Google gave me for “ai beethoven” was this about one of their doodles: https://interestingengineering.com/the-first-ai-powered-goog...

While “ai mathematical proof” gave me “Google AI system proves over 1200 mathematical theorems”: https://mathscholar.org/2019/04/google-ai-system-proves-over...

So… yes, that’s fine?

Re:Despite High Hopes, Self-Driving Cars Are ‘Way in the Fut... by mhermher on Wednesday July 17, 2019 @03:16PM (#20463024)
None of those 1200 were previously unsolved, btw, as I mentioned above.