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