Tau Ceti: ten theorems from the first month

It's been a month since we launched, so I'd like to make a brief post highlighting some of the results that have landed in Tau Ceti. We're ready for more contributors at this point. Please come to the #Tau Ceti channel to discuss contributing to the roadmaps, or if you have existing material you would like to migrate into Tau Ceti. If you'd just like to point your AI at Tau Ceti, it can be as…