mastodon — José A. Alonso — 4 Sep 2026
Proof of the Lyons-White conjecture. ~ Colin Defant, Ken Ono. https:// arxiv.org/abs/2608.27708v1 # LeanProver # ITP # A…
#ai-aided-mathematics #formal-verification #interactive-theorem-proving
Proof of the Lyons-White conjecture. ~ Colin Defant, Ken Ono. https:// arxiv.org/abs/2608.27708v1 # LeanProver # ITP # AI4Math