fix: update Chudnovsky problem source link and informal description#133

kim-em merged 1 commit intomainleanprover/lean-eval:mainfrom

fix/chudnovsky-source-linkleanprover/lean-eval:fix/chudnovsky-source-linkCopy head branch name to clipboard