ИИ-модель «Машина Рамануджан» помогает математикам создавать новые гипотезы
Математики Техниона, Израиль разработали ИИ-модель, которая создает математические гипотезы. Ученые считают, что уже сегодня ИИ-модель может помочь в решении самых трудных проблем, которые стоят перед наукой сотни лет. Придумывать гипотезы приятно, а вот доказывать иногда очень трудно. Математики посматривали на ИИ с надеждой, что он освободит их от работы по доказательству гипотез. Но судя по всему, ему тоже больше нравится придумывать гипотезы, а доказательство он оставляет людям. Директор Лондонского...