ИИ впервые завоевал серебряную медаль на международной математической олимпиаде
DeepMind и другие компании пытаются обучить свои модели давать строгие доказательства трудных математических проблем.TechInsider
Для других типов задач команда разработала совершенно новую систему под названием AlphaProof.TechInsider
Искусственный интеллект успешно решил две задачи по алгебре, одну по теории чисел и одну по геометрии.Правмир
ИИ представил строгие пошаговые доказательства, которые были оценены двумя ведущими математиками и получили оценку 28/42 — всего на один балл меньше диапазона золотой медали.TechInsider