the Veritas Fellowships
Veritas — the pursuit of truth that lies at the heart of mathematics. Veritas Fellows will develop the methods and the community that will define the next era of mathematical practice.
Mathematics is undergoing a profound shift. For centuries, the rigor of proof has been the bedrock of our field. Now, we are at the dawn of a new golden age, where mathematical knowledge will become an autonomous and formally verified common good. We believe this transformation will fundamentally change how mathematical knowledge is disseminated and how research is conducted on a global scale. The Veritas Fellowships represent our unwavering commitment to this future.
Partnerships at the Frontier
Through this initiative, Math, Inc. is partnering with leading mathematicians who are advancing the frontier of mathematical knowledge with formalization across a wide range of fields. Fellows will accelerate new research directions using formal representations of major results. They will work closely with Math, Inc's research and engineering teams at the frontier of autoformalization, pioneering workflows that combine human insight, machine assistant, and verified reasoning.
The Infrastructure for Verified Mathematics
To empower these pioneers, fellows gain priority access to Gauss — the frontier autoformalization agent, as well as the underlying verification environments infrastructure. In alignment with efforts like the DARPA expMath program, this tooling provides the secure, scalable environments needed to formalize heterogeneous results and accelerate their work from ideation to fully verified theorem. The Veritas Fellowships are extended by invitation and rolling application. We seek collaborators who are ready to embrace the future of verified mathematics and build the infrastructure for knowledge alongside us.
Math, Inc. is pleased to announce the inaugural Veritas Fellow is Terence Tao.
Math, Inc.
