This whole process worked about 10 times faster than doing it without GPT
irchans on Hacker News
This whole process worked about 10 times faster than doing it without GPT.
In the thread “AI has a multiplying effect on existing technical skills”
Helped: Generating easy theorems, LaTeX proofs, and verification code.
Got in the way: Could not bound a particular expression, requiring manual derivation.
… This worked very well, but at one point I could not bound a particular expression and I was not understanding it well, so I got out the pencil and paper and redid the derivation myself which helped a lot. This whole process worked about 10 times faster than doing it without GPT. At the end of a couple of hours I had around 20 pages of correct proofs and all the code needed to do numerical simulations related to the proofs.