04:00
2026-06-30
arxiv.org
machine-learning
Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings
Researchers used Lean 4's kernel-level tracking to show that the axiom of choice has a measurable geometric correlate in proof space, with classical proofs exhibiting distinct geometric signatures tha…