nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs7297ud (nprofile…97ud) I feel you have it upside down: AI might be get good enough to automate the process of getting "correct" Maths. What we will need Mathematicians for is to get interesting/useful Maths.
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq254t9ytvtq9m2l8j64gt6axjegpa0g47l2gvtdsclzzjp5m6utws66cqfe (nprofile…cqfe) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqmqrt5r3uyz07a4gfsgdpwkned22hw3jdd43jlh9ycd7l7haukegse9tczy (nprofile…tczy)