3 Comments

This is great! I often hear "LLMs will never be able to do math". This shows otherwise 😎

Expand full comment

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?

Expand full comment