Content pfp
Content
@
0 reply
0 recast
0 reaction

𝚐π”ͺ𝟾𝚑𝚑𝟾 pfp
𝚐π”ͺ𝟾𝚑𝚑𝟾
@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

Sadia Malik  πŸŽ©πŸŒΉπŸš€ pfp
Sadia Malik πŸŽ©πŸŒΉπŸš€
@sadia1
NiceπŸ‘d
0 reply
0 recast
0 reaction