[sebzim4500]

There is a project to connect GPT-4 and lean, but I doubt they will make a lot of progress until they can finetune GPT-4.

https://www.youtube.com/watch?v=CEwRMT0GpKo