Terence Tao Responds to hot-patch an already-hot-patched function

There have been recent developments that allow people to interpret Swift on device, live. With this new launch, will the AI be able to explain new proofs?