> Autoformalization is the formalization of mathematics by AI. I guess that came... | Hacker News

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

		chrisjj 10 days ago \| parent \| context \| favorite \| on: What mathematicians should know about the Lean The... > Autoformalization is the formalization of mathematics by AI. I guess that came from a chatbot? "There’s no such thing as auto-formalization" https://cutfree.net/notes/autoformalization.html
		help

bumbledraven 10 days ago [–]

> I guess [the term “autoformalization”] came from a chatbot?

The term dates back at least to 2020, years before the release of ChatGPT.

https://research.google/pubs/a-promising-path-towards-autofo...

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact