window office - Massively Collaborative Mathematics in the NYTimes "Year in Ideas"

sporadic ramblings of a comp sci grad student studying information retrieval Me @ CMU

Dec
13th

Sun

Massively Collaborative Mathematics in the NYTimes "Year in Ideas"

you probably need to scroll down the page to see it, but there’s a fascinating blurb on collaborative theorem proving in this year’s “year in ideas”