Today I start learning Lean Prover seriously. I’ll spend a couple of days to get familar with this language and join this very forum. Anyone has slightest interest in this language please
More +
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 other words, I’m not trying to try it but rather
More +
The race of search engine between 2 giants has never been this fun. Bing is preparing for the new Bing with reinforced ChatGPT integration. https://www.bing.com/new You can join their mailing list to
More +
ChatGPT has been so hot latterly so I tried to search for some clue how good it is in formal math. Here’s a small topic in LeanProver forum if you’re interested in.
More +Câu chuyện muôn thưở :)) chủ đề này thì nhiều người viết rồi, từ Tây cho tới ta, so sánh chán rồi và còn làm bao nhiêu bài test nữa. Và họ
More +