Уже разработана машина, которая сама находит доказательства теорем. В нее закладывается аксиома, условия. И она копирует посредственного студента…
— Ага! Все же посредственного!..
— Это сейчас! Братцы, несколько лет — и она обшлепает настоящего математика!.. Машина не умеет ставить задачи, а решить она сможет все.
