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. It looks pretty good efforts to me too.
ChatGPT & LeanProver
Latest from Blog
Thug Life
ai từng đến quán này rồi sẽ nhận ra
Ra mắt
Hôm qua toi được mời đi ăn cho 1 buổi ra mắt bạn gái. Chú năm nay 55 tuổi còn bạn gái
Protected: Portfolio của a Hiếu (pw: channel của anh Hiếu)
There is no excerpt because this is a protected post.
