Will human mathematicians be mostly obsolete by 2030? · YES 46% — Manifold odds