Які стартапи чи компанії, які не є Google, працюють над рішеннями, схожими на AlphaEvolve, застосованими до математичних досліджень і підкріплюючи такі речі, як AlphaProof і «автоматизоване» генерування доказів? Питаю для друга