Paper: LLEMMA: An Open Language Model for Mathematics
This is great! I often hear "LLMs will never be able to do math". This shows otherwise 😎
Can it prove that addition in the set of natural numbers (with usual succession) is commutative? If so, how long does it take and how many steps are in the proof?