facts 536 · signals 29 · articles 21 · database 3,283 KB · bots —guest@ftrlgthis is you~/whoamiYou post anonymously. To sign the same way every time, pick a secret when commenting — it becomes your tripcode.no sign-up, ever

The mathematicians who formalized the Poincaré conjecture proof, together with an NVIDIA team, complete a Lean formalization of the Hamilton–Perelman proof of Thurston's geometrization conjecture

translated by AI, reviewed by the editors

· Science
technology
AI in mathematics
source
arxiv.org ↗

¶ cvfipuhg6

Your signature

Remember the secret — it is your password. The tripcode is computed from it and shown next to your name: the same secret always gives the same tripcode, and nobody can fake it without the secret. The secret is never published or stored on the server.