Które startupy / firmy niebędące Google pracują nad rozwiązaniami podobnymi do AlphaEvolve, stosowanymi w badaniach matematycznych i budowaniu rzeczy takich jak AlphaProof oraz "automatyczne" generowanie dowodów? Pytam dla przyjaciela