Gauss, an Agent for Autoformalization

math.inc

11 pointsauggierose1 comment

It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.