We advance the hypothesis that human mathematical reasoning, constrained by both the undecidability and the computational intractability of even modest logical fragments, relies fundamentally on pattern matching from domains external to pure deduction. The most prolific reservoir of such patterns is the natural world, whose physical laws and biological systems have undergone billions of years of ``pre-computation'' and already exhibit surprisingly innovative solutions.
arXiv:2607. 04505v1 Announce Type: new Abstract: We advance the hypothesis that human mathematical reasoning, constrained by both the undecidability and the computational intractability of even modest logical fragments, relies fundamentally on pattern matching from domains external to pure deduction.
arXiv:2606. 08532v5 Announce Type: replace Abstract: Modern artificial intelligence excels at prediction but cannot explain.
arXiv:2607. 05168v1 Announce Type: new Abstract: Why do intelligent systems need to perform explicit symbolic reasoning?
arXiv:2606. 17289v1 Announce Type: new Abstract: AI systems based on artificial neural networks are being developed with aspirations of pushing the boundary of human mathematical knowledge.
arXiv:2607. 01571v1 Announce Type: new Abstract: Chain-of-thought (CoT) reasoning enables large language models (LLMs) to solve complex problems by generating intermediate reasoning steps.
The paper reports that reasoning models in AI exhibit transient chaos, a phenomenon linked to computational complexity. It finds that these models behave as dynamical systems with fractal basins, and that the fractality grows with task difficulty across domains such as Sudoku, maze solving, visual puzzles, and mathematical logic. The study attributes slowdowns to the models becoming trapped near saddle points representing nearly‑correct solutions.
arXiv:2606. 28841v1 Announce Type: cross Abstract: Large language models are increasingly capable of mathematical reasoning, but the proofs they generate are often unreliable and hard to verify.
The paper argues that human cognitive constraints, often seen as limits, actually drive mathematical progress by creating bottlenecks that force the development of new abstractions. It proposes a resource‑rational theory of mathematical abstraction, showing how these bottlenecks can lead to novel formalisms with broader applications. The authors illustrate this with historical examples and suggest that incorporating similar constraints into machine learning could aid in discovering useful mathematical abstractions.
arXiv:2603. 08322v2 Announce Type: replace Abstract: We study mathematical discovery through the lens of neurosymbolic reasoning, where an AI agent powered by a large language model (LLM), coupled with symbolic computation tools, and human strategic direction, jointly produced a new result in combinatorial design theory.
arXiv:2303. 04203v4 Announce Type: replace Abstract: The theory of computation was built to answer Turing's question: what is effectively calculable by an unbounded, immortal, disembodied agent following rules?
arXiv:2606. 14688v1 Announce Type: cross Abstract: AI systems coupled to proof assistants now generate formal mathematics at scale, and the gap between what a checker can verify and what a mathematician would value has become the binding constraint.
The paper introduces the AI Mathematician (AIM) framework, which leverages Large Reasoning Models (LRMs) to tackle frontier mathematical research. AIM addresses the complexity and procedural rigor of research problems through an exploration mechanism for longer solution paths and a pessimistic reasonable verification method for reliability. Early experiments show AIM can autonomously construct significant proof components and uncover non‑trivial insights across real‑world mathematical topics.