Content
@
0 reply
0 recast
0 reaction
𝚐𝔪𝟾𝚡𝚡𝟾
@gm8xx8
i’m leaning towards AGI being defined as an algorithm capable of proving theorems in a proof assistant with the same expertise as a skilled human. few.
3 replies
0 recast
14 reactions
clun.eth
@clun.eth
IMO this seems too specialized to warrant the term AGI. Not clear that just being good at proving theorems can generalize to real world tasks like “make money”, “earn the trust of humans” etc. Could be that you don’t need generalized reasoning skills in order to be a good theorem prover.
0 reply
0 recast
0 reaction