Home BlogAIAI and I: The Mathematical Struggle for Coherence