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

Matemáticos con apoyo del programa expMath de DARPA completan la formalización en Lean de la demostración de Hamilton-Perelman de la conjetura de Poincaré: unos 4,7 millones de líneas de código en unas dos semanas

traducido por IA, revisado por la redacción

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

¶ c4kpn92nr

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.