RT @vladtenev:世界初の自律数学者にご挨拶を...そして彼は(今のところ)自由です!