daVinci-Prover

Нейросеть решила 97% олимпиадных задач. Секрет успеха оказался неожиданно простым

ИИ научился «забывать» лишнее и решил по такому принципу 97% математических задач