Where Is Mathematics Going? Large Language Models And Lean Proof Assistant

Posted on by

I have a new post on Hackaday: Where Is Mathematics Going? Large Language Models And Lean Proof Assistant.

Leave a Reply