🧵 Untitled Thread
Anonymous at Thu, 14 Nov 2024 09:56:38 UTC No. 16474559
How much of pure higher level math is just bullshit, logically speaking? I know of so many proofs that were LATER FOUND TO BE FALSE!
Maybe that is where GAI will start - by showing us that we are all "proving" things that aren't actually true.
Anonymous at Thu, 14 Nov 2024 10:18:32 UTC No. 16474574
>>16474559
i kina hope for a ai that you can give your math and it checks if it is correct.
i would love some form of spellchecking for my math
allready use ai as a tutor and i find it much more relaxing than any tutor i ever had
🗑️ Anonymous at Thu, 14 Nov 2024 11:37:05 UTC No. 16474620
>>16474559
Niggers are in your walls
Anonymous at Thu, 14 Nov 2024 15:42:42 UTC No. 16474873
>>16474574
Proof Assistants are a thing and modern "AI" architectures (transformers) are simply not designed to accurately perform this task and will always be inferior to a trained person
Anonymous at Thu, 14 Nov 2024 20:07:41 UTC No. 16475168
Proofs give some insight about why something MIGHT be true, but aren't perfect.
Anonymous at Thu, 14 Nov 2024 20:11:31 UTC No. 16475174
>>16474559
idiots that keep putting their faith in a machine to tell them what is true or not will just end up being manipulated by people more intelligent than they are
Anonymous at Fri, 15 Nov 2024 03:29:50 UTC No. 16475620
>>16474559
coping