Comment

Comment by rurban

I just detected perplexity for a proper AI search yesterday. My test question today was: Which cbmc solver is multi-threaded?

Perplexity gave me the correct and best answers, with links to the relevant arxiv papers.

The new ChatGPT search gave me only cadical as answer, plus 2 irrelevant wrong answers (not multi-threaded), but missed all other multi-threaded solvers. => It's crap.

Neither Google nor ddg gave me any relevant links. Couldn't try kagi, since my trial phase is over.

Looks like the fellow who was invited to the Google funeral was right. Google search is dead.

parent rurban 2 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton