Yes
I am currently riding a productivity wave, where I can spit out formalised proofs – not quite at the pace at which I can think of the theorems to prove, but almost
black_knight on Hacker News
In the thread “Universities would prefer no AI”
Helped: Spitting out formalised proofs faster than manual writing.
… LLMs exist and are extremely useful in academia. I am currently riding a productivity wave, where I can spit out formalised proofs – not quite at the pace at which I can think of the theorems to prove, but almost. The thing braking my progress is that I have to build all the existing theory too, not just my own new stuff. …