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
π _π£π _π
@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