AI и ML Новости на русском Подписаться AlphaProof, новый ИИ от Google DeepMind, одержал крупную победу на Международной математической олимпиаде ИИ становится лучше в математике — и может вскоре стать достойным коллегой для людей. AlphaProof, a New A.I. from Google DeepMind, Scores Big at the International Math Olympiad nytimes.com