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
π’‚ _𒍣𒅀_π’Š‘ pfp
π’‚ _𒍣𒅀_π’Š‘
@m-j-r.eth
would you accept a physical analogue of this (i.e. Wozniak's "make coffee" but controlled experiment)?
0 reply
0 recast
0 reaction