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.
5 replies
3 recasts
36 reactions
cfmy
@cfmy007
Compared to ChatGPT, existing AI has a much faster generation speed than professionals, so I prefer them to use specific optimization methods to reduce state space and provide formal judgment tools to prove that the solution is correct.
1 reply
0 recast
0 reaction
cfmy
@cfmy007
Instead of building from the bottom like human experts.
0 reply
0 recast
0 reaction
