¿Cuáles son las startups / empresas que no son Google que están trabajando en soluciones como AlphaEvolve, aplicadas a la investigación matemática y a la estructuración de cosas como AlphaProof y la generación de pruebas "automatizadas"? Preguntando por un amigo