yes https://deepmind.google/discover/blog/alphaevolve-a-gemini-p...

Our internal verifier model is fuzzy but in this example I think it is pretty much always accurate.