Como acordei um dia e decidi resolver uma conjectura matemática dos anos 70 ⤵️