I mean it's an old term in algebra/analytics that predates sytem-kernels by 50 years or so. And even in the meaning compute/solver/gpu-kernel, even thuough predated by systems kernel, it has still been in use at least 30 years.

So proof kernel is not that far fetched, I think. I only skimmed the article though ... so not saying if it was good use here or not.