monadic second-order theories

Paper argues nature inspires math innovation, justifying LLM scale

A new paper proposes that human mathematical innovation stems from pattern matching with the natural world, rather than solely from pure reasoning. The authors argue that the complexity and intractability of logical sys…