What was Euclid really doing? | Guest video by Ben Syversen

2025-09-18 · Source: 3Blue1Brown · Field: Science & Research — Mathematics & Computational Sciences, Research Methodology & Innovation · Depth: Intermediate, extended

Summary

Euclid's Elements, an influential mathematical text from around 300 B.C., approached geometry fundamentally differently from modern practice, relying on ruler and compass constructions not merely as illustrations but as integral parts of proofs. The Greeks used these constructions to establish the existence of geometric objects and to verify "inexact" or topological properties, such as whether circles intersect, while exact properties like equality were proven deductively. This method addressed philosophical debates by grounding abstract concepts in physically verifiable actions, ensuring consistency. Euclid's meticulous approach, exemplified by his complex construction of a square (Proposition 46) which implicitly requires the controversial Parallel Postulate (Postulate 5), systematically cataloged the foundational assumptions for geometric knowledge. His insistence on the Parallel Postulate as an axiom, despite centuries of attempts by mathematicians to prove it as a theorem, highlights the sophistication of Greek foundational geometry.

Key takeaway

For AI Researchers and Software Engineers working on formal verification or proof systems, understanding Euclid's reliance on constructive proofs offers a historical precedent for grounding abstract reasoning. Consider how physically verifiable procedures, akin to ruler and compass constructions, can serve as foundational "subroutines" to build complex, provably consistent systems, much like modern computerized proof checkers use explicit, checkable rules to instantiate abstract concepts.

Key insights

Euclid's geometric constructions were integral to proofs, grounding abstract math in verifiable physical actions.

Principles

• Diagrams can demonstrate inexact properties in proofs.
• Mathematical objects exist through their construction.
• Axioms grounded in physical actions ensure consistency.

Method

Euclid's method involved constructing geometric objects using ruler and compass, then proving their exact properties deductively, while inexact properties were verified diagrammatically.

In practice

• Use constructions to establish object existence.
• Distinguish exact from inexact properties in diagrams.
• Ground axioms in physically verifiable actions.

Topics

• Euclid's Elements
• Greek Geometry
• Ruler and Compass Constructions
• Parallel Postulate
• Foundations of Mathematics

Best for: Research Scientist, AI Researcher, Software Engineer

Related on AIssential

• The Human/AI Frontier: A Conversation with Bogdan Grechuk — Mathematician Bogdan, an Associate Professor at the University of Leicester, envisions using AI in a loop to solve complex Diophantine equations, where he invents methods and AI tests their applicability.
• TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics — TheoremBench evaluates LLMs on formal math proving, revealing performance gains with explicit premises and current prover inefficiencies.
• 😸 AI just solved unsolvable math — AI can now autonomously discover new mathematical truths, moving beyond merely solving known problems.
• Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge — A relational bridge-database and formalization scores can unify informal mathematical literature with machine-verifiable proofs.
• Building Mathematical Superintelligence — AI is rapidly advancing towards mathematical superintelligence, leveraging formal verification for provably correct results.
• OpenAI reasoning model disproves 80-year-old Erdős geometry conjecture — A general-purpose AI model has autonomously disproved an 80-year-old mathematical conjecture, demonstrating advanced reasoning capabilities.

Open in AIssential →

Editorial summary, takeaway, and curation by AIssential. Original article published by 3Blue1Brown.