Artificial Mathematical Intelligence: Cognitive, (Meta)Mathematical, Physical and Philosophical Foundations

1. Global Introduction to the Artificial Mathematical Intelligence General Program.- 2. Some Basic Technical (Meta-)Mathematical Preliminaries for Cognitive Mathematics.- Part I. New Cognitive Foundations for Mathematics.- 3. General Considerations for the New Cognitive Foundations' Program.- 4. Towards the (Cognitive) Reality of Mathematics and the Mathematics of (Cognitive) Reality).- 5. The Physical Numbers.- 6. Dathematics: A Meta-Isomorphic Version of "Standard" Mathematics Based on Proper Classes.- Part II. Global Taxonomy of the Fundamental Cognitive Mathematical Mechanisms Used in Mathematical Research.- 7. Conceptual Blending in Mathematical Creation/Invention.- 8. Formal Analogical Reasoning in Concrete Mathematical Research.- 9. Conceptual Substratum.- 10. (Initial) Global Taxonomy of the Most Fundamental Cognitive Mechanisms Used in Mathematical Creation/Invention.- Part III. Toward a Universal Meta-Modeling of Mathematical Creation/Invention.- 11. Meta-Modeling of Classic and Modern Mathematical Proofs and Concepts.- 12. The Most Outstanding (Future) Challenges Toward Global AMI and its Plausible Extensions.