kevin buzzard
əjdaha lazımdı googlla

aşağıdakı yazısı maraqlıdır. http://chalkdustmagazine.com/features/can-computers-prove-theorems/
hər nə qədər kompyuterlər riyaziyyatçıları işlərindən edəcək olmasalar da riyaziyyatçıların işlərini asanlaşdıra bilərlər.
sən də yaz!