Andreas Grois on Nostr: While I am still very sceptical of #LLM #Chatbots, I must confess that I use ChatGPT ...
While I am still very sceptical of #LLM #Chatbots, I must confess that I use ChatGPT (the free version) more and more.
My main use cases are as a search engine for #Lean4 functions (because there is no real #Hoogle alternative for Lean yet), and to bounce ideas during #RubberDucking.
My bets are still on LLMs being a dead-end in the search for AGI, but I no longer consider them only a useless software toy.
My main use cases are as a search engine for #Lean4 functions (because there is no real #Hoogle alternative for Lean yet), and to bounce ideas during #RubberDucking.
My bets are still on LLMs being a dead-end in the search for AGI, but I no longer consider them only a useless software toy.