Gauss, an Agent for Autoformalization | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Gauss, an Agent for Autoformalization (math.inc)
		11 points by auggierose 6 months ago \| hide \| past \| favorite \| 1 comment

bmitc 6 months ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact