We don't care about this. We want AIs strapped to formal solver and doing maths, then, maybe physics/[bio]chemistry (Super gigantic ultra performant neural net

We don't care about this. We want AIs strapped to formal solver and doing maths, then, maybe physics/[bio]chemistry (Super gigantic ultra performant neural net is an 'end of the world' scenario, aka not now)