Ravi de présenter notre initiative AI for Math ! Des mois de travail avec @pushmeet @EugenieRives @quocleix @laurasasportas et nos partenaires - construire cela chez @GoogleDeepMind et @Googleorg Quel plaisir de collaborer avec les meilleurs mathématiciens du monde et d'élargir l'accès à nos modèles ! Nous espérons voir beaucoup plus de découvertes lorsque l'IA pourra servir les experts. Si vous êtes un mathématicien cherchant à utiliser l'IA pour faire avancer vos recherches, contactez-nous !