Team
Tau Ceti is a community project which anyone can contribute to. You can help by writing and reviewing roadmaps, running the Tau Ceti worker with your inference, or by donating to support the project (we'd be happy to have both inference and compute for CI). All of the infrastructure is open and maintained by the community, and improvements there are very welcome.
See the Statistics page for details about who has been authoring contributions and running reviews. Get on those leaderboards! Read the contribution guide for getting started.
Scientific Advisory Board
-
Chris Birkbeck (University of East Anglia)
-
Kevin Buzzard (Imperial College London)
-
Johan Commelin (Mathlib Initiative and the University of Utrecht)
-
Kim Morrison (Lean FRO)
-
Leonardo de Moura (Amazon Web Services and Lean FRO)
-
David Roe (MIT)
Support
Tau Ceti is being incubated by the Mathlib Initiative and the Lean FRO. Currently we're running on a shoestring, with CI costs covered by the Lean FRO. We have a donation of $3m worth of inference (i.e. API credits) from Anthropic's AI for Science program.
We're actively preparing, with a wider team, a proposal for a sustainable funding model, and for scaling up. Please get in touch on Lean Zulip if you'd like to support this program.