Welche Startups / Nicht-Google-Unternehmen arbeiten an Lösungen wie AlphaEvolve, die auf mathematische Forschung und Dinge wie AlphaProof und "automatisierte" Beweisgenerierung angewendet werden? Frage für einen Freund