Man Google is just not very helpful anymore. I remember a story on LW about singularity in the 1980s from an EURISKO-like system, but Google just doesn't have a clue what I want to find
@WomanCorn I wonder how much advantage LLMs give someone with search-engine experience on a search engine in 2017.
E.g. ChatGPT lied to me about linearity in Jacobians, which is often the kind of thing I want to discover.
Probably still enough advantage.
@niplav I hear LLMs are the future of search, but somehow I doubt they will help with this case.