Amongst the other 22 million results Google gave me for “ai beethoven” was this ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

ben_w on July 17, 2019 | parent | context | favorite | on: Despite High Hopes, Self-Driving Cars Are ‘Way in ...

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?

mhermher on July 17, 2019 [–]

None of those 1200 were previously unsolved, btw, as I mentioned above.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact