[Paper Review] Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal

Jacques Carette, William M. Farmer+2 more|arXiv (Cornell University)|Apr 23, 2019

Scientific Computing and Data Management15 references4 citations

TL;DR

This paper proposes a tetrapod architecture integrating inference, computation, tabulation, narration, and organization to overcome the 'one-brain barrier' in Big Math, where no single human can master increasingly complex mathematical developments. The key contribution is a unified information model that enables scalable, human-like integration of mathematical knowledge across software systems.

ABSTRACT

Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out. For some, the help of computers is now indispensable. We analyze the implications of this trend towards "big mathematics", its relation to human cognition, and how machine support for big math can be organized. The central contribution of this position paper is an information model for "doing mathematics", which posits that humans very efficiently integrate four aspects: inference, computation, tabulation, and narration around a well-organized core of mathematical knowledge. The challenge for mathematical software systems is that these four aspects need to be integrated as well. We briefly survey the state of the art.

Motivation & Objective

• To address the growing challenge of 'Big Math'—mathematical developments so large they exceed the cognitive capacity of any single human.
• To identify the 'one-brain barrier' (OBB) as a fundamental limit in mathematical progress, where results depend on collective, distributed knowledge beyond individual comprehension.
• To propose a unified information model that integrates five core aspects of mathematical practice: inference, computation, tabulation, narration, and organization.
• To advocate for a global digital mathematical library (GDML) as a foundational infrastructure to enable interoperability and shared knowledge representation.
• To promote collaborative, open-source development of mathematical software systems that integrate all five aspects, avoiding reliance on closed, commercial tools.

Proposed method

• Proposes a tetrapod model where mathematical work is structured around five integrated aspects: inference (proofs and conjectures), computation (symbolic and algorithmic manipulation), tabulation (data sets like LMFDB and OEIS), narration (natural language and visual documentation), and organization (knowledge structuring and interlinking).
• Argues that current systems excel in isolation (e.g., theorem provers for inference, computer algebra for computation), but fail to integrate these aspects cohesively.
• Positions the global digital mathematical library (GDML) as the central hub for interoperability, enabling shared ontologies and FAIR (Findable, Accessible, Interoperable, Reusable) data.
• Emphasizes the need for a community-driven, open, and FAIR-optimized ontology of mathematics to overcome the OBB and enable scalable knowledge reuse.
• Recommends confederated, open-source development models inspired by successful open science practices, to avoid dependency on proprietary systems.
• Recognizes the role of 'mathematical social machines'—hybrid human-technology systems—built on top of the tetrapod framework to support collaborative Big Math research.

Experimental results

Research questions

• RQ1 How can mathematical software systems effectively integrate inference, computation, tabulation, narration, and organization in a way that mirrors human cognitive integration?
• RQ2 What architectural and infrastructural foundations are required to overcome the one-brain barrier in large-scale mathematical research?
• RQ3 How can a global digital mathematical library (GDML) serve as a unifying infrastructure for interoperable mathematical knowledge representation?
• RQ4 What are the trade-offs between open, community-driven development and commercial software in supporting Big Math?
• RQ5 In what ways can human-technology collaboration (social machines) be enhanced by a tetrapod-based software architecture?

Key findings

• The integration of inference, computation, tabulation, narration, and organization is essential for scaling mathematical knowledge beyond the limits of individual cognition.
• Current mathematical software systems are strong in isolation but fail to interoperate meaningfully across the five aspects, creating a fragmentation problem.
• The classification of finite simple groups (CFSG) and the Feit-Thompson Odd-Order Theorem exemplify Big Math challenges that exceed individual comprehension and demand systemic support.
• The LMFDB and OEIS demonstrate successful tabulation systems, but their value is limited without deeper integration into inference, narration, and organizational frameworks.
• A FAIR, open, and community-maintained mathematical ontology is essential to overcome the one-brain barrier and enable scalable, reusable mathematical knowledge.
• Commercial systems like Wolfram’s ecosystem come closest to a tetrapodal model but risk undermining trust and accessibility due to closed-source and proprietary constraints.