Теренс Тао, один из крупнейших математиков современности и лауреат Филдсовской премии, подвел промежуточные итоги применения ИИ в математике. По его словам, за последние месяцы модели помогли решить около 50 задач из каталога Эрдёша — но еще порядка 600 остаются открытыми, а поток чисто автономных решений, когда модель справлялась с задачей в одиночку, иссяк. Читать далее