Submitted by **ChickenTeriyakiBoy1** t3_zpqyp8
in **gadgets**

#
**abraxasisall**
t1_j0vubxc wrote

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

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

#
**abraxasisall**
t1_j1180fo wrote

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.

Viewing a single comment thread. View all comments