Essays and running notes on building a program that can solve math and logic problems stated in natural language.https://mechanizemath-production.up.railway.app/https://mechanizemath-production.up.railway.app/essays/2026-08-15-we-need-a-stockfish-for-math/https://mechanizemath-production.up.railway.app/essays/2026-08-15-we-need-a-stockfish-for-math/The current LLM-based approach to automated theorem proving doesn't cut it. Sat, 15 Aug 2026 00:00:00 GMThttps://mechanizemath-production.up.railway.app/essays/2026-08-04-the-goal-of-mechanize-math/https://mechanizemath-production.up.railway.app/essays/2026-08-04-the-goal-of-mechanize-math/Defining the purpose and limitations of the Mechanize Math projectTue, 04 Aug 2026 00:00:00 GMT