Formal Insight

Blog

Thoughts on AI, mathematics, and the future of intelligence

July 27, 2025 • Alexander Coward

The Mathematical Crisis That Created Computation—And Why AI Faces the Same Crossroads

In 1901, Bertrand Russell wrote a letter that would shatter the foundations of mathematics. Today, as we grapple with AI systems whose behavior we cannot predict or verify, we face a remarkably parallel crisis. And the resolution, I believe, will follow a remarkably parallel path.

July 8, 2025 • Alexander Coward

Why Mathematics is at the Heart of AI Safety

Will AI bring about a new age of human flourishing—something like the Italian Renaissance? Or will these systems escape their safety constraints and turn against us? The answer depends on whether we build AI on foundations of mathematical truth.