ChatGPT & LeanProver

February 1, 2023
by @ohhaimark

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.

Leave a Reply

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
Go toTop

Don't Miss

%d bloggers like this: