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