{"ok":true,"nota":{"id":"bce3cb952db3bffc","slug":"un-programa-de-computadora-verifico-la-clasificacion-de-todos-los-grup-bce3cb","titulo":"Un programa de computadora verificó la clasificación de todos los grupos simples finitos","resumen":"Se formalizó en el asistente de pruebas Lean la demostración de la clasificación de los grupos simples finitos, un resultado matemático de décadas de trabajo colectivo. El proyecto fue publicado en una web propia y generó amplio debate en la comunidad técnica.","fuente":"hackernews","fuenteNombre":"Hacker News","color":"#ff6600","autor":"pfdietz","url":"https://cfsg.axiommath.ai/","imagen":"/hoy/portada/bce3cb952db3bffc","tema":"ciencia","subtemas":["matematica","verificacion formal","lean","teoria de grupos","inteligencia artificial"],"entidades":["Axiom","Lean"],"formato":"dato","entretenimiento":false,"pubTs":"2026-10-27T16:29:02.000Z","indexTs":"2026-10-28T03:05:33.667Z","hash":"51ccdf54390245ced0a996f14d265aafd53777b333093eb1e4ae849cabb13356","tsa":{"time":"Oct 28 03:07:15 2026 GMT","provider":"freetsa.org","sobre":"sello"},"stats":{"views":0,"likes":0,"clicks":0,"dwell":0},"tipo":"normal","registro":"hallazgo","porQueImporta":"Una demostración que ocupó a cientos de matemáticos durante más de cincuenta años ahora puede ser revisada línea por línea por una computadora, sin depender solo de la confianza entre colegas. Para quien usa software a diario, esto indica que la verificación automática empieza a alcanzar terrenos muy abstractos. Las herramientas que hoy pasan por la misma prueba de exactitud son las que después sostienen bancos, aviones o medicamentos.","quienFirma":"Axiom (proyecto de comunidad técnica; autoría institucional no especificada en la fuente)","confianza":"preprint","consulta":null},"sello":{"hash":"51ccdf54390245ced0a996f14d265aafd53777b333093eb1e4ae849cabb13356","sello":"247675f693352fbd19c3e12bec02239a3884602d52a0c5f5d8a46cc520fd79b7","beacon":{"drand":{"cadena":"8990e7a9aaed2ffed73dbd7092123d6f289930540d7651336225dc172e51b2ce","ronda":6590860,"aleatorio":"739cb4168eed1a0cc0398c95170d2079057f86b7146eb865f09b24fd31847899","tiempo":"2026-10-28T03:07:00.000Z"},"nist":{"cadena":2,"pulso":2002363,"salida":"7653890124C8B7FB3C146E79C2445C53C9E40C6CD77E05142D07B353A7179172ED2B049F243E231A9DE45BF640FD35D1E8668E895EA3B4A254055AA28D02FAA1","tiempo":"2026-10-28T03:05:00.000Z"},"noAntes":"2026-10-28T03:07:00.000Z"},"verificacion":{"drand":true,"nist":true},"tsa":{"time":"Oct 28 03:07:15 2026 GMT","provider":"freetsa.org","sobre":"sello"},"original":{"titulo":"Classification of Finite Simple Groups Formalized in Lean","descripcion":"Article URL: https://cfsg.axiommath.ai/ Comments URL: https://news.ycombinator.com/item?id=50261647 Points: 178 # Comments: 44","pubDate":"Tue, 27 Oct 2026 16:29:02 +0000","url":"https://cfsg.axiommath.ai/"},"indexado":"2026-10-28T03:05:33.667Z"}}