Sci - Tech My First ChatGPT use February 10, 2023 I’m trying to test it in a normal way, ie. I’d use it unconsciously and pretend that it’s not something new. In
Sci - Tech The New Bing February 8, 2023 The race of search engine between 2 giants has never been this fun. Bing is preparing for the new Bing with reinforced
Sci - Tech ChatGPT & LeanProver February 1, 2023 ChatGPT has been so hot latterly so I tried to search for some clue how good it is in formal math. Here’s