很高兴介绍我们的数学AI计划！与@pushmeet @EugenieRives @quocleix @laurasasportas及我们的合作伙伴们共同努力了几个月 - 在@GoogleDeepMind和@Googleorg构建这个项目。 与世界顶尖的数学家合作，拓宽我们模型的使用范围，真是一种乐趣！我们希望当AI能够为专家服务时，会有更多的发现。 如果你是一位希望利用AI推进研究的数学家，请联系我！