abraxasisall t1_j0vubxc wrote on December 19, 2022 at 8:17 PM

Reply to comment by EstablishmentShoddy1 in ChatGPT allows this AI typewriter to talk to you by ChickenTeriyakiBoy1

This is going to be what I find impossible to prevent; paraphrasing it and rewriting it slightly in your own words. I suppose one way to check it would be to have another program input a bunch of prompts and compare the original essay for likeness, in the same way that there are programs already that scour scholarly works on the web and compare for likeness; except this time it’s testing AI outputs.

Now if only it could write mathematical proofs for me..

Edit: it can fucking write proofs

EstablishmentShoddy1 t1_j0w2cen wrote on December 19, 2022 at 9:10 PM

Yeah I heard the AI isn't really sophisticated for math

abraxasisall t1_j1180fo wrote on December 20, 2022 at 10:42 PM

They’re wrong, it can write proofs perfectly. I think it has limited characters (ASCII) available to express certain concepts however; if it could freely use laTex I think it would be able to accomplish exactly what we’re discussing.

I asked it to prove all kinds of math problems ranging from simple (using mathematical induction, direct proof, contradiction to prove things) to complex (prove certain functions f: Z -> Z are injective, surjective, or bijective (both), prove that the cardinality of Z, set of all integers, is less than R, set of all real numbers) and in the cases I tried, the proofs were sufficient. Remarkable.