GPTZero will generate theorem proofs with logical language and use the final contradiction or proof to update its weights. The logical language will be a clever

GPTZero will generate theorem proofs with logical language and use the final contradiction or proof to update its weights. The logical language will be a clever subset of normal language to limit GPT's hallucinations.