Caz Czworkowski
A GPT-3 program I put together in order to try and generate mathematical proofs from theorems. The results are somewhat hilarious, but provide an insight into some of the limitations of OpenAI’s latest API.
I’ll continue to train this model up and try to produce more accurate results in the future. If you have any questions, or would like to collaborate, feel free to reach out.