Které startupy / ne-Google firmy pracují na řešeních podobných AlphaEvolve, aplikovaných na matematický výzkum a podporují věci jako AlphaProof a "automatizované" generování důkazů? Ptám se za přítele