Dedicated to verified superintelligence via autoformalization.
- Solve math, solve everything.
- Introducing Gauss, an agent for autoformalization
- Announcing the Veritas Fellowships
- Terry Tao, inaugural Veritas Fellow
- Fields Medal sphere packing proof formalized
- Towards the mathematical singularity
- Maryna Viazovska and Kevin Buzzard, Veritas Fellows for mathematics at planetary scale
- OpenGauss: an open source, state of the art autoformalization harness
- FormalQualBench: measuring a higher standard of correctness for autoformalization