John's blog

Talking about technology (mostly)

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

Posted on 2025-10-09 [Thursday] by Jay Jay

Reply

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