About

Mechanize Math is a long-term project organized around a single question: how do you develop a computer program capable of solving any math or logic problem presented in natural language?

The essays here motivate that problem, take apart its facets — what a “word problem” even is, where language ends and mathematics begins, what should count as a solution — and document progress toward an actual working system. The progress page is the lab notebook; the essays are the considered writing.

If you want to follow along, there is an RSS feed.

— Oren Hartstein