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?

## An open source AI that proves theorems

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?