@mathelirium@asimeqi no, it will not take long for math to be beyond the human brain. There is no benefit to having HITL on proofs/thrms once this short transitional period is over
@aminnnn_09 Thatโs the old AI playbook and is probably just the one that is more accessible to consumers these days. A lot of recent work is doing the managed work/outcome.