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

Mathematicians supported by DARPA's expMath programme complete a Lean formalization of the Hamilton–Perelman proof of the Poincaré conjecture: around 4.7 million lines of code in roughly two weeks

translated by AI, reviewed by the editors

· Science
technology
AI in mathematics
source
arxiv.org ↗

¶ c4kpn92nr

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.