It will be quite a while for AI to discover the synthetic biology to spawn juvenile cockcroach agility and endurance at that scale in automata form. The A, B venn diagram may see overlapping human and AI symbiosis make the most achievements. What the AI boosters claim they may achieve in math doesn't pass the shitkicksmell test unless all concerned are exponents in that space. Some say the bug in the LEAN kernel may throw proof claims off.