Он разрабатывает ИИ-модель для решения математических задач. Раунд возглавила компания Kleiner Perkins при участии Sequoia Capital, Index Ventures и Paradigm, пишет Bloomberg.