Полный текст
Вот теперь я верю, что ИИ-модели становятся и впрямь хороши в математике. Восемь месяцев группа из 17 математиков готовила декларацию, ныне открытую к подписанию (и первые подписи уже есть, включая одну от филдсовского лауреата). Декларация призывает математиков подняться на борьбу с ИИ-компаниями, в частности, запретить обучение моделей на опубликованных работах. По мнению авторов Декларации, компании злоупотребляют лицензиями, которые когда-то выдавались без оглядки на тогда еще неведомый ИИ и его обучение. Утверждается, что “Mathematics is, and should always remain, a profoundly human endeavour”Развитие ИИ, как утверждается, угрожает автономии математики; ее автоматизация недопустима. “Indeed, broader understanding of the field may be permanently lost in the process of automation”Такое ощущущение угрозы — лучшее доказательство того, что модели реально многому научились и стали конкурентоспособны; еще год назад их мало кто принимал всерьез в этом сообществе. А вот сумеет ли такая декларация сплотить всех математиков в борьбе с ИИ, будет интересно посмотреть. У кинематографистов получилось не очень.https://thenextweb.com/news/leiden-declaration-ai-mathematics-proof-attribution