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

Science publica el artículo de DeepMind sobre el agente AlphaProof Nexus: resolvió por su cuenta 9 de 353 problemas abiertos de Erdős y demostró 44 de 492 conjeturas de la Enciclopedia en línea de secuencias de enteros (OEIS), con todas las demostraciones verificadas en Lean; en el mismo número los matemáticos Jeremy Avigad y Matthew Ballard firman la columna «Ha llegado la IA para la investigación matemática»

traducido por IA, revisado por la redacción

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

¶ ckdzaxmkz

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.