Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Despite High Hopes, Self-Driving Cars Are ‘Way in the Future’. Parent comment
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?
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?