¿Cuáles son las startups o empresas que no son de Google que trabajan en soluciones similares a AlphaEvolve, aplicadas a la investigación matemática y al apoyo de cosas como AlphaProof y la generación "automatizada" de pruebas? Preguntando por un amigo