dysfun@treehouse.systems ("gaytabase") wrote:
did... did terry tao just equate having a lean program that nobody has checked as proof of a conjecture?
why do people listen to these bozos?
dysfun@treehouse.systems ("gaytabase") wrote:
did... did terry tao just equate having a lean program that nobody has checked as proof of a conjecture?
why do people listen to these bozos?