AlphaProof, новый ИИ от Google DeepMind, одержал крупную победу на Международной математической олимпиаде

ИИ становится лучше в математике — и может вскоре стать достойным коллегой для людей.