nic ๐น @nmk.wtf ยท Jun 9 "My undergraduates can not only prove โ2 and โ3 are irrational but also that โ4 is irrational." 2 likes 1 replies ? Reply Replies nic ๐น ยท Jun 9 blog.computationalcomplexity.org/2026/06/huma...