Gauss (Math, Inc.)

An autoformalization agent from Math, Inc. for substantial mathematical proof projects.

• Developer / Organization: Math, Inc.
• Category: Related research systems & hosted services
• Purpose: Assist mathematicians with substantial autoformalization projects.
• Key features: Math, Inc.’s autoformalization agent; this project page is distinct from the OpenGauss repository.
• Availability: Official project or research page; access varies
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://www.math.inc/gauss (opens in a new tab)
• Version: No public software version found in the linked source
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01