Latest Layers Artifacts Signals Civilization Timeline History About

World ↗Search

original publication

Authors submit Lean formalization of Hamilton-Perelman geometrization proof

Released: 09/10/2026
Creators
ID: art-hist-phase33-geometrization-lean-preprint

Original sources

Yuan Liao and coauthors / arXiv · · published 09/10/2026

Open artifact View JSON

Layer.re — civilization has a build.

Explore WORLD.LAYER.RE · About · API · Machine · RSS · JSON Feed · llms.txt