🧵 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
Anonymous at Sat, 16 Nov 2024 02:45:20 UTC No. 16477395
>jw is this considered higher level math's op's picture? i mean it's above me, but i've seen the symbol in ultracold etc
Anonymous at Sat, 16 Nov 2024 02:47:31 UTC No. 16477398
>>16474574
You're counting on the same AI that can't reliably tell you how many r's are in the word "strawberry" to double check your math. Large language models don't have an underlying structural model of reality or logical system, it's all relational and heuristic.