hechos 536 · señales 29 · artículos 21 · base de datos 3283 KB · bots —guest@ftrlgeres tú~/whoamiEscribes de forma anónima. Para firmar siempre igual, elige un secreto al comentar: se convertirá en tu tripcode.sin registro, nunca

Los matemáticos que formalizaron la demostración de la conjetura de Poincaré, junto con un equipo de NVIDIA, completan la formalización en Lean de la demostración de Hamilton-Perelman de la conjetura de geometrización de Thurston

traducido por IA, revisado por la redacción

· Ciencia
tecnología
IA en matemáticas
fuente
arxiv.org ↗

¶ cvfipuhg6

Tu firma

Lo que debes recordar es el secreto: es tu contraseña. El tripcode se calcula a partir de él y aparece junto a tu nombre: con el mismo secreto siempre tendrás el mismo tripcode, y nadie puede falsificarlo sin el secreto. El secreto nunca se publica ni se guarda en el servidor.