One of the greatest future contributions of AGI may be proving that P ≠ NP, showing that certain math problems are provably incredibly hard. That proof would ensure we can design mathematically unbreakable cryptography, securing bitcoin for millenniums to come.(Joe Burnett, MSBA)