MECHANIZE MATH
Essays and running notes on one question: how do you build a program that can solve any math or logic problem stated in plain language?
Defining the purpose and limitations of the Mechanize Math project
The current LLM-based approach to automated theorem proving doesn't cut it.