Теперь, когда ИИ позволяет проводить нетривиальные доказательства вероятности — что раньше могли сделать очень немногие студенты по информатике — следует ли ожидать от студентов большего в образовании по компьютерным наукам?