←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 1 comments | 17 Nov 24 17:20 UTC | HN request time: 0s | source
Show context
throwaway713 ◴[17 Nov 24 22:24 UTC] No.42167915[source]▶
Anyone else feel like mathematics is sort of the endgame? I.e., once ML can do it better than humans, that’s basically it?
replies(11): >>42168138 #>>42168188 #>>42168552 #>>42169054 #>>42169223 #>>42169808 #>>42170065 #>>42170119 #>>42170460 #>>42171863 #>>42197083 #
jdietrich ◴[18 Nov 24 04:52 UTC] No.42169808[source]▶
Humans are terrible at anything you learn at university and incredibly good at most things you learn at trade school. In absolute terms, mathematics is much easier than laying bricks or cutting hair.

https://en.wikipedia.org/wiki/Moravec%27s_paradox

replies(2): >>42170898 #>>42171908 #
1. looofooo0 ◴[18 Nov 24 12:53 UTC] No.42171908[source]▶
Sure but checking everything is correctly wired, plug-in, cut etc. Everything needes is thought of? There is plenty of things an AI could do to help a trades man.