4 ms·
Combining it with AutoGPT (or the ideas it's based on) and a formal prover like Lean might be the answer. Have you tried? Basically, if you don't allow GPT to
by ogogmad 4y ago
Combining it with AutoGPT (or the ideas it's based on) and a formal prover like Lean might be the answer. Have you tried?
Basically, if you don't allow GPT to iteratively write, execute, criticise and then correct its code, you won't get good results.